changeset 57831 | 885888a880fb |
parent 57666 | 1c0ee733325f |
child 57975 | c657c68a60ab |
--- a/src/Pure/Isar/runtime.ML Wed Jul 30 09:40:28 2014 +0200 +++ b/src/Pure/Isar/runtime.ML Thu Jul 31 20:09:30 2014 +0200 @@ -99,6 +99,7 @@ TERMINATE => "Exit" | TimeLimit.TimeOut => "Timeout" | TOPLEVEL_ERROR => "Error" + | ERROR "" => "Error" | ERROR msg => msg | Fail msg => raised exn "Fail" [msg] | THEORY (msg, thys) =>