# HG changeset patch
# User wenzelm
# Date 1338548529 -7200
# Node ID 396749e9daafbbc011b0a3b41fc97012e9592791
# Parent  9819d49d2f396f8222908902bb6fd7a1e7de6606
tuned message;

diff -r 9819d49d2f39 -r 396749e9daaf src/Pure/System/isabelle_process.ML
--- a/src/Pure/System/isabelle_process.ML	Fri Jun 01 12:45:22 2012 +0200
+++ b/src/Pure/System/isabelle_process.ML	Fri Jun 01 13:02:09 2012 +0200
@@ -57,7 +57,8 @@
     NONE => error ("Undefined Isabelle process command " ^ quote name)
   | SOME cmd =>
       (Runtime.debugging cmd args handle exn =>
-        error ("Isabelle process protocol failure: " ^ name ^ "\n" ^ ML_Compiler.exn_message exn)));
+        error ("Isabelle process protocol failure: " ^ quote name ^ "\n" ^
+          ML_Compiler.exn_message exn)));
 
 end;