src/Pure/System/isabelle_process.ML
changeset 48056 396749e9daaf
parent 47410 33f2f968c0a1
child 48709 719f458cd89e
     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