From 2c8a7a32b9694f6b1f3da1f9fa577ff94e35fb78 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 2 Oct 2014 14:08:34 -0400
Subject: [PATCH] Update AUTHORS affiliations and add Martin.

---
 AUTHORS | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/AUTHORS b/AUTHORS
index 5610fe063..8db72131b 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -2,14 +2,15 @@ The core authors and designers of CVC4 are:
 
   Kshitij Bansal <kshitij@cs.nyu.edu>, New York University
   Clark Barrett <barrett@cs.nyu.edu>, New York University
-  Francois Bobot <bobot@lri.fr>, Paris-Sud University
-  Christopher Conway <cconway@cs.nyu.edu>, New York University
+  Francois Bobot <bobot@lri.fr>, Commissariat a l'Energie Atomique (CEA)
+  Martin Brain <martin.brain@cs.ox.ac.uk>, University of Oxford
+  Christopher Conway <cconway@cs.nyu.edu>, Google
   Morgan Deters <mdeters@cs.nyu.edu>, New York University
   Liana Hadarean <lianah@cs.nyu.edu>, New York University
-  Dejan Jovanovic <dejan@cs.nyu.edu>, New York University
+  Dejan Jovanovic <dejan@cs.nyu.edu>, SRI International
   Tim King <taking@cs.nyu.edu>, New York University
   Tianyi Liang <tianyi-liang@uiowa.edu>, The University of Iowa
-  Andrew Reynolds <andrew.j.reynolds@gmail.com>, The University of Iowa
+  Andrew Reynolds <andrew.j.reynolds@gmail.com>, EPFL
   Cesare Tinelli <tinelli@cs.uiowa.edu>, The University of Iowa
 
 CVC4 is the fourth in the CVC series of tools (CVC, CVC Lite, CVC3) but does
-- 
2.30.2