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

diff --git a/THANKS b/THANKS
index 8cd0737a262f2a24eee98262ef97e5a872bbd403..d1ef51a603bc902ad7b1fcbe0facd1ec62d9b484 100644 (file)
--- 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.