From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 16 Oct 2014 17:59:54 +0000 (-0400)
Subject: Add Thomas Hunger to THANKS file (for having submitted patches).
X-Git-Tag: cvc5-1.0.0~6509^2~9
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=09e68572fce8b0eba9a428dd314c59690f520498;p=cvc5.git

Add Thomas Hunger to THANKS file (for having submitted patches).
---

diff --git a/THANKS b/THANKS
index 8cd0737a2..d1ef51a60 100644
--- a/THANKS
+++ b/THANKS
@@ -3,6 +3,9 @@ at Imperial College London, headed by Alastair Donaldson) for developing and
 submitting a number of patches in September 2012 related to SMT-LIBv2
 compliance.
 
+Thanks to Thomas Hunger for some important patches to CVC4's SWIG interfaces
+in March 2014.
+
 Thanks to David Cok of GrammaTech, Inc., for suggesting numerous improvements
 in CVC4's SMT-LIBv2 compliance in 2013 and 2014.