From 093fa1757392e7bfc18493f2daa87ff540aeea86 Mon Sep 17 00:00:00 2001
From: François Bobot <francois@bobot.eu>
Date: Mon, 13 Feb 2012 23:12:15 +0000
Subject: precision in theoryskel

---
 AUTHORS | 1 +
 1 file changed, 1 insertion(+)

(limited to 'AUTHORS')

diff --git a/AUTHORS b/AUTHORS
index d6ce5a4ff..f5897d574 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -1,6 +1,7 @@
 The core authors and designers of CVC4 are:
 
   Clark Barrett <barrett@cs.nyu.edu>, New York University
+  François Bobot <bobot@lri.fr>, Paris-Sud University
   Christopher Conway <cconway@cs.nyu.edu>, New York University
   Morgan Deters <mdeters@cs.nyu.edu>, New York University
   Yeting Ge <yeting@cs.nyu.edu>, New York University
-- 
cgit v1.2.3