# HG changeset patch
# User wenzelm
# Date 1219876393 -7200
# Node ID 7120e58464e43e25e7cefa3bae529b2523190e68
# Parent  33050286e65d4850b9433fba18a23e412e28f1ee
present_token: disable print_mode, which is YXML now;

diff -r 33050286e65d -r 7120e58464e4 src/Pure/ProofGeneral/pgip_parser.ML
--- a/src/Pure/ProofGeneral/pgip_parser.ML	Thu Aug 28 00:33:11 2008 +0200
+++ b/src/Pure/ProofGeneral/pgip_parser.ML	Thu Aug 28 00:33:13 2008 +0200
@@ -94,7 +94,7 @@
   let
     val kind = ThyEdit.span_kind span;
     val toks = ThyEdit.span_content span;
-    val text = implode (map (PgmlIsabelle.pgml_mode ThyEdit.present_token) toks);
+    val text = implode (map (PrintMode.setmp [] ThyEdit.present_token) toks);
   in
     (case kind of
       ThyEdit.Command name => parse_command name text