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_fact_minimizer.ML
changeset 38023 962b0a7f544b
parent 38021 e024504943d1
child 38045 f367847f5068 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_fact_minimizer.ML	Tue Jul 27 17:58:30 2010 +0200
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_fact_minimizer.ML	Tue Jul 27 18:33:10 2010 +0200
@@ -81,7 +81,7 @@
   let
     val thy = Proof.theory_of state
     val prover = case atps of
-                   [atp_name] => get_prover thy atp_name
+                   [atp_name] => get_prover_fun thy atp_name
                  | _ => error "Expected a single ATP."
     val msecs = Time.toMilliseconds minimize_timeout
     val _ =
isabelle