src/Tools/jEdit/src/plugin.scala

 
   /* session phase */
 
   val session_phase_changed: Session.Phase => Unit =
   {
-    case Session.Terminated(rc) if rc != 0 =>
+    case Session.Terminated(result) if !result.ok =>
       GUI_Thread.later {
         GUI.error_dialog(jEdit.getActiveView, "Prover process terminated with error",
           "Isabelle Syslog", GUI.scrollable_text(session.syslog_content()))
       }