Added Guy to authors list.

diff --git a/AUTHORS b/AUTHORS
index dc53ff645e4f60fd5a9fffa3b56b97346f2d8904..d157ec958664ab96623ee1731491b0051b2b4e4e 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -14,6 +14,7 @@ The core designers and authors of CVC4 are:
   Morgan Deters, New York University
   Liana Hadarean, New York University, Mentor Graphics Corporation
   Dejan Jovanovic, New York University, SRI International
+  Guy Katz, New York University
   Tim King, New York University, Universite Joseph Fourier, Google, Inc.
   Tianyi Liang, The University of Iowa
   Andrew Reynolds, The University of Iowa, EPFL