src/HOL/SMT.thy
changeset 59017 80290f06a810
parent 59015 627a93f67182
child 59022 fa7c419f04b4
--- a/src/HOL/SMT.thy	Wed Nov 19 19:12:14 2014 +0100
+++ b/src/HOL/SMT.thy	Thu Nov 20 17:29:18 2014 +0100
@@ -230,7 +230,7 @@
 *}
 
 declare [[cvc3_options = ""]]
-declare [[cvc4_options = "--full-saturate-quant --quant-cf"]]
+declare [[cvc4_options = "--full-saturate-quant"]]
 declare [[veriT_options = ""]]
 declare [[z3_options = ""]]