src/Pure/Tools/isabelle_process.ML

 
 val isabelle_processN = "isabelle_process";
 val xmlN = "XML";
 
 val _ = Output.add_mode isabelle_processN Output.default_output Output.default_escape;
-val _ = Markup.add_mode isabelle_processN (YXML.output_markup);
+val _ = Markup.add_mode isabelle_processN YXML.output_markup;
 
 
 (* message markup *)
 
 fun special ch = Symbol.STX ^ ch;