author | wenzelm |
Fri, 17 Feb 2012 11:24:39 +0100 | |
changeset 46511 | fbb3c68a8d3c |
parent 46510 | 696f3fec3f83 |
child 46512 | 4f9f61f9b535 |
--- 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