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 48384 83dc102041e6
parent 48381 1b7d798460bb
child 48394 82fc8c956cdc 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_run.ML	Fri Jul 20 22:19:46 2012 +0200
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_run.ML	Fri Jul 20 22:19:46 2012 +0200
@@ -87,7 +87,7 @@
     fun really_go () =
       problem
       |> get_minimizing_prover ctxt mode
-             (mash_learn_proof ctxt params (prop_of goal)
+             (mash_learn_proof ctxt params name (prop_of goal)
                                (map untranslated_fact facts))
              name params minimize_command
       |> (fn {outcome, preplay, message, message_tail, ...} =>
isabelle