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