changeset 50505 | 33c92722cc3d |
parent 50201 | c26369c9eda6 |
child 50911 | ee7fe4230642 |
--- a/src/Pure/Isar/runtime.ML Thu Dec 13 18:15:53 2012 +0100 +++ b/src/Pure/Isar/runtime.ML Thu Dec 13 19:53:55 2012 +0100 @@ -76,7 +76,6 @@ | TOPLEVEL_ERROR => "Error" | ERROR msg => msg | Fail msg => raised exn "Fail" [msg] - | Output.TRACING_LIMIT n => "Tracing limit exceeded: " ^ string_of_int n | THEORY (msg, thys) => raised exn "THEORY" (msg :: map Context.str_of_thy thys) | Ast.AST (msg, asts) =>