# HG changeset patch
# User blanchet
# Date 1411051660 -7200
# Node ID 149fb885dcd8ff58e15cc14c4e94ba75293312b4
# Parent  fe083c681ed800a9323db9a4c5fc24b549dacff9
fixed authorship

diff -r fe083c681ed8 -r 149fb885dcd8 src/HOL/Tools/SMT/cvc4_interface.ML
--- a/src/HOL/Tools/SMT/cvc4_interface.ML	Thu Sep 18 15:07:43 2014 +0200
+++ b/src/HOL/Tools/SMT/cvc4_interface.ML	Thu Sep 18 16:47:40 2014 +0200
@@ -1,5 +1,5 @@
 (*  Title:      HOL/Tools/SMT/cvc4_interface.ML
-    Author:     Sascha Boehme, TU Muenchen
+    Author:     Jasmin Blanchette, TU Muenchen
 
 Interface to CVC4 based on an extended version of SMT-LIB.
 *)