From 09e68572fce8b0eba9a428dd314c59690f520498 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Thu, 16 Oct 2014 13:59:54 -0400 Subject: [PATCH] Add Thomas Hunger to THANKS file (for having submitted patches). --- THANKS | 3 +++ 1 file changed, 3 insertions(+) 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. -- 2.30.2