src/Pure/Tools/isabelle_process.ML
changeset 28036 a58e4da3d184
parent 27986 26e1a7a6695d
child 28044 e4b569b53e10
--- 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 *)