From: Morgan Deters <mdeters@gmail.com>
Date: Wed, 10 Feb 2010 22:21:41 +0000 (+0000)
Subject: svn:ignore for build stuff; add Liana to AUTHORS
X-Git-Tag: cvc5-1.0.0~9262
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c449010208acb1f7a98e2eee722e71b7db472547;p=cvc5.git

svn:ignore for build stuff; add Liana to AUTHORS
---

diff --git a/AUTHORS b/AUTHORS
index 41cb9bb16..4f94f7c01 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -4,6 +4,7 @@ The core authors and designers of CVC4 are:
   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
+  Liana Hadarean <lianah@cs.nyu.edu>, New York University
   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