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/Import/proof_kernel.ML
changeset 46511 fbb3c68a8d3c
parent 46506 c7faa011bfa7
child 46796 81e5ec0a3cd0 
--- a/src/HOL/Import/proof_kernel.ML	Thu Feb 16 23:07:01 2012 +0100
+++ b/src/HOL/Import/proof_kernel.ML	Fri Feb 17 11:24:39 2012 +0100
@@ -198,7 +198,6 @@
 fun smart_string_of_cterm ctxt0 ct =
     let
         val ctxt = ctxt0
-          |> Config.put Syntax.ambiguity "warning"  (* FIXME actually "error" (!?) *)
           |> Config.put show_brackets false
           |> Config.put show_all_types false
           |> Config.put show_types false
isabelle