# HG changeset patch
# User wenzelm
# Date 1489595088 -3600
# Node ID 7e427dff15dd9e6b14a158ccfff85c507dc6f79c
# Parent  b381558dc51fcee5de2ef8e262077a03c1ef97a9
clarified message;

diff -r b381558dc51f -r 7e427dff15dd src/Tools/jEdit/src/plugin.scala
--- a/src/Tools/jEdit/src/plugin.scala	Wed Mar 15 16:58:52 2017 +0100
+++ b/src/Tools/jEdit/src/plugin.scala	Wed Mar 15 17:24:48 2017 +0100
@@ -192,9 +192,9 @@
 
   val session_phase_changed: Session.Phase => Unit =
   {
-    case Session.Terminated(_) =>
+    case Session.Terminated(rc) if rc != 0 =>
       GUI_Thread.later {
-        GUI.error_dialog(jEdit.getActiveView, "Prover process terminated",
+        GUI.error_dialog(jEdit.getActiveView, "Prover process terminated with error",
           "Isabelle Syslog", GUI.scrollable_text(session.syslog_content()))
       }