From: Clark Barrett <barrett@cs.nyu.edu>
Date: Tue, 12 May 2015 20:56:00 +0000 (-0700)
Subject: Added Finn Haedicke as a contributor.
X-Git-Tag: cvc5-1.0.0~6328
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=dcb85a122a2dc9c80c2626ba6ab83f97d7e983ad;p=cvc5.git

Added Finn Haedicke as a contributor.
---

diff --git a/AUTHORS b/AUTHORS
index a2b6350e5..60a7cba32 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -22,6 +22,7 @@ Contributors to the CVC4 codebase additionally include:
 
   Peter Collingbourne, the Multicore Programming Group at Imperial College
     London (headed by Alastair Donaldson)
+  Finn Haedicke, University of Bremen, Germany
 
 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