# HG changeset patch # User blanchet # Date 1416500958 -3600 # Node ID 80290f06a8100a6ded0faf78cc5dec66478c9011 # Parent be4a911aca712cc928d1f798488205ce7c5fac92 removed explicit '--quant-cf' option to CVC4, now that it's the default diff -r be4a911aca71 -r 80290f06a810 src/HOL/SMT.thy --- 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 = ""]]