From 3d2b33d66998261f9369cccc098140f64bc8b417 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 20 Feb 2012 17:59:33 +0000
Subject: portfolio merge

---
 AUTHORS | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'AUTHORS')

diff --git a/AUTHORS b/AUTHORS
index f5897d574..db0cf4a9c 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -1,5 +1,6 @@
 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
   François Bobot <bobot@lri.fr>, Paris-Sud University
   Christopher Conway <cconway@cs.nyu.edu>, New York University
@@ -27,5 +28,7 @@ CVC4 contains the pkg.m4 autoconf module by Scott James Remnant.
 CVC4 contains the ax_tls.m4 autoconf module by Alan Woodland and
 Diego Elio Petteno.
 
+CVC4 contains the boost.m4 autoconf module by Benoit Sigoure.
+
 CVC4 maintainer versions contain the script autogen.sh, by the
 U.S. Army Research Laboratory
-- 
cgit v1.2.3