1.1 --- a/src/Pure/Tools/isabelle_process.ML	Thu Aug 28 00:33:13 2008 +0200
     1.2 +++ b/src/Pure/Tools/isabelle_process.ML	Thu Aug 28 00:33:15 2008 +0200
     1.3 @@ -36,7 +36,7 @@
     1.4  val xmlN = "XML";
     1.5  
     1.6  val _ = Output.add_mode isabelle_processN Output.default_output Output.default_escape;
     1.7 -val _ = Markup.add_mode isabelle_processN (YXML.output_markup);
     1.8 +val _ = Markup.add_mode isabelle_processN YXML.output_markup;
     1.9  
    1.10  
    1.11  (* message markup *)