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_atp_translate.ML
changeset 42232 5f2a555b15d6
parent 42227 662b50b7126f
child 42233 aab49f3cf802 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_atp_translate.ML	Tue Apr 05 09:38:28 2011 +0200
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_atp_translate.ML	Tue Apr 05 10:37:11 2011 +0200
@@ -433,7 +433,6 @@
            (Scan.error (!! (fn _ => raise Fail ("unrecognized mangled type " ^
                                                 quote s)) parse_mangled_type))
     |> fst
-    |> tap (fn u => PolyML.makestring u |> warning) (*###*)
 
 fun unmangled_const s =
   let val ss = space_explode mangled_type_sep s in
isabelle