diff -r 7120e58464e4 -r a58e4da3d184 src/Pure/Tools/isabelle_process.ML
--- a/src/Pure/Tools/isabelle_process.ML	Thu Aug 28 00:33:13 2008 +0200
+++ b/src/Pure/Tools/isabelle_process.ML	Thu Aug 28 00:33:15 2008 +0200
@@ -36,7 +36,7 @@
 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 *)