Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
compile
authorblanchet
Thu, 30 Jan 2014 13:54:12 +0100
changeset 55180 03ac74b01e49
parent 55179 71cc2db86eec
child 55181 9434810f7ab5
compile
src/HOL/Tools/Sledgehammer/sledgehammer_reconstructor.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_reconstructor.ML	Thu Jan 30 13:39:57 2014 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_reconstructor.ML	Thu Jan 30 13:54:12 2014 +0100
@@ -60,7 +60,7 @@
 (* Makes reconstructor tools as silent as possible. The "set_visible" calls suppresses "Unification
    bound exceeded" warnings and the like. *)
 fun silence_reconstructors debug =
-  Try0.silence_method debug
+  Try0.silence_methods debug
   #> Config.put SMT_Config.verbose debug
 
 end;
isabelle