tuned message;
authorwenzelm
Fri Jun 01 13:02:09 2012 +0200 (2012-06-01 ago)
changeset 48056396749e9daaf
parent 48055 9819d49d2f39
child 48057 72197611f1e9
tuned message;
src/Pure/System/isabelle_process.ML
     1.1 --- a/src/Pure/System/isabelle_process.ML	Fri Jun 01 12:45:22 2012 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Fri Jun 01 13:02:09 2012 +0200
     1.3 @@ -57,7 +57,8 @@
     1.4      NONE => error ("Undefined Isabelle process command " ^ quote name)
     1.5    | SOME cmd =>
     1.6        (Runtime.debugging cmd args handle exn =>
     1.7 -        error ("Isabelle process protocol failure: " ^ name ^ "\n" ^ ML_Compiler.exn_message exn)));
     1.8 +        error ("Isabelle process protocol failure: " ^ quote name ^ "\n" ^
     1.9 +          ML_Compiler.exn_message exn)));
    1.10  
    1.11  end;
    1.12