From 5c1a60fcd8681b67208aa930d8c133e10b227314 Mon Sep 17 00:00:00 2001
From: Clark Barrett <barrett@cs.nyu.edu>
Date: Mon, 5 Jul 2010 17:29:16 +0000
Subject: [PATCH] Added Cesare to list of authors

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

diff --git a/AUTHORS b/AUTHORS
index 5b28d6045..a6aa23127 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -8,6 +8,7 @@ The core authors and designers of CVC4 are:
   Tim King <taking@cs.nyu.edu>, New York University
   Mina Jeong <mjeong@cs.nyu.edu>, New York University
   Dejan Jovanovic <dejan@cs.nyu.edu>, New York University
+  Cesare Tinelli <tinelli@cs.uiowa.edu>, University of Iowa
 
 CVC4 is the fourth in the CVC series of tools (CVC, CVC Lite, CVC3) but does
 not directly incorporate code from any previous version.  Information about
-- 
2.30.2