--- a/src/HOL/Tools/Sledgehammer/sledgehammer_prover.ML Wed Jul 30 23:52:56 2014 +0200
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_prover.ML Wed Jul 30 23:52:56 2014 +0200
@@ -40,7 +40,7 @@
try0 : bool,
smt_proofs : bool option,
slice : bool,
- minimize : bool option,
+ minimize : bool,
timeout : Time.time,
preplay_timeout : Time.time,
expect : string}
@@ -147,7 +147,7 @@
try0 : bool,
smt_proofs : bool option,
slice : bool,
- minimize : bool option,
+ minimize : bool,
timeout : Time.time,
preplay_timeout : Time.time,
expect : string}