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.
remove debugging code
authorblanchet
Tue, 05 Apr 2011 10:37:11 +0200
changeset 42232 5f2a555b15d6
parent 42231 bc1891226d00
child 42233 aab49f3cf802
remove debugging code
src/HOL/Tools/Sledgehammer/sledgehammer_atp_translate.ML file | annotate | diff | comparison | revisions 
--- 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