author | wenzelm |
Sat, 22 May 2010 20:37:20 +0200 | |
changeset 37063 | 492bc98a8809 |
parent 37062 | 2b94e2d406d9 |
child 37064 | bbcc89d19f55 |
--- a/src/Pure/System/session.scala Sat May 22 20:20:51 2010 +0200 +++ b/src/Pure/System/session.scala Sat May 22 20:37:20 2010 +0200 @@ -148,7 +148,7 @@ } else if (result.kind == Isabelle_Process.Kind.EXIT) prover = null - else if (result.kind != Isabelle_Process.Kind.STDIN && !result.is_raw) + else if (!result.is_system) // FIXME syslog (!?) bad_result(result) }