--- a/src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML Tue Jun 07 08:58:23 2011 +0200
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML Tue Jun 07 10:24:16 2011 +0200
@@ -543,7 +543,7 @@
Config.put Monomorph.verbose debug
#> Config.put Monomorph.max_rounds max_iters
#> Config.put Monomorph.max_new_instances max_new_instances
- #> Config.put Monomorph.complete_instances false
+ #> Config.put Monomorph.keep_partial_instances false
fun repair_smt_monomorph_context debug max_mono_iters max_mono_instances =
Config.put SMT_Config.verbose debug