# HG changeset patch
# User blanchet
# Date 1478269332 -3600
# Node ID be149db8207a36f0f22f1b4f9d7b1fa479397747
# Parent  e84fb8b4245c96058a116e9e03037df0b5038ddd
disable CVC4 statistics, and hence crashes upon user interruptions

diff -r e84fb8b4245c -r be149db8207a src/HOL/Tools/SMT/smt_systems.ML
--- a/src/HOL/Tools/SMT/smt_systems.ML	Fri Nov 04 13:27:31 2016 +0100
+++ b/src/HOL/Tools/SMT/smt_systems.ML	Fri Nov 04 15:22:12 2016 +0100
@@ -68,6 +68,7 @@
 
 local
   fun cvc4_options ctxt = [
+    "--no-statistics",
     "--random-seed=" ^ string_of_int (Config.get ctxt SMT_Config.random_seed),
     "--lang=smt2",
     "--continued-execution",