1.1 --- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Fri Jul 20 22:19:46 2012 +0200
     1.2 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Fri Jul 20 22:19:46 2012 +0200
     1.3 @@ -323,7 +323,7 @@
     1.4       lam_trans = lam_trans, uncurried_aliases = uncurried_aliases,
     1.5       learn = learn, fact_filter = fact_filter, max_facts = max_facts,
     1.6       fact_thresholds = fact_thresholds, max_mono_iters = max_mono_iters,
     1.7 -     max_new_mono_instances = max_new_mono_instances,  isar_proof = isar_proof,
     1.8 +     max_new_mono_instances = max_new_mono_instances, isar_proof = isar_proof,
     1.9       isar_shrink_factor = isar_shrink_factor, slice = slice,
    1.10       minimize = minimize, timeout = timeout, preplay_timeout = preplay_timeout,
    1.11       expect = expect}