# HG changeset patch
# User desharna
# Date 1605878961 -3600
# Node ID b1388cfb64bb65d4078aa4a04998ad2eec5e0577
# Parent  945cee776e7987740a9be5a09b57d5f8e2d5568c# Parent  b83988b436dc113e9da2783515d16ffc4c287782
merged

diff -r 945cee776e79 -r b1388cfb64bb src/HOL/Tools/SMT/smt_systems.ML
--- a/src/HOL/Tools/SMT/smt_systems.ML	Fri Nov 20 12:00:08 2020 +0100
+++ b/src/HOL/Tools/SMT/smt_systems.ML	Fri Nov 20 14:29:21 2020 +0100
@@ -77,10 +77,9 @@
 
 local
   fun cvc4_options ctxt = [
-    "--no-statistics",
+    "--no-stats",
     "--random-seed=" ^ string_of_int (Config.get ctxt SMT_Config.random_seed),
     "--lang=smt2",
-    "--continued-execution",
     "--tlimit", string_of_int (Real.ceil (1000.0 * Config.get ctxt SMT_Config.timeout))]
 
   fun select_class ctxt =