Added Finn Haedicke as a contributor.

diff --git a/AUTHORS b/AUTHORS
index a2b6350e5d7c7e6b1aff828450dff6b0981109be..60a7cba3226d5a4445d04ffeeb7a561792079ea8 100644 (file)
--- 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