Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/Sledgehammer/sledgehammer_run.ML
changeset 45561 57227eedce81
parent 45520 2b1dde0b1c30
child 45666 d83797ef0d2d 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_run.ML	Fri Nov 18 11:47:12 2011 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_run.ML	Fri Nov 18 11:47:12 2011 +0100
@@ -125,7 +125,7 @@
                   (case preplay of
                      Played (reconstr, timeout) =>
                      if can_min_fast_enough timeout then
-                       (true, extract_reconstructor reconstr
+                       (true, extract_reconstructor params reconstr
                               ||> (fn override_params =>
                                       adjust_reconstructor_params
                                           override_params params))
isabelle