1.1 --- a/src/Pure/Isar/runtime.ML	Wed Nov 03 11:11:49 2010 +0100
     1.2 +++ b/src/Pure/Isar/runtime.ML	Wed Nov 03 11:33:51 2010 +0100
     1.3 @@ -68,7 +68,6 @@
     1.4          | TERMINATE => ["Exit"]
     1.5          | TimeLimit.TimeOut => ["Timeout"]
     1.6          | TOPLEVEL_ERROR => ["Error"]
     1.7 -        | SYS_ERROR msg => ["## SYSTEM ERROR ##\n" ^ msg]
     1.8          | ERROR msg => [msg]
     1.9          | Fail msg => [raised exn "Fail" [msg]]
    1.10          | THEORY (msg, thys) =>