# HG changeset patch
# User wenzelm
# Date 1219876395 -7200
# Node ID a58e4da3d1841d69560f03ede66e659dbd10b709
# Parent  7120e58464e43e25e7cefa3bae529b2523190e68
tuned;

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 *)