diff -r d1b315bdb8d7 -r bc889c3d55a3 src/Pure/Syntax/syntax.ML
--- a/src/Pure/Syntax/syntax.ML	Mon Sep 17 16:36:41 2007 +0200
+++ b/src/Pure/Syntax/syntax.ML	Mon Sep 17 16:36:43 2007 +0200
@@ -567,7 +567,7 @@
     val ast = t_to_ast ctxt (lookup_tr' print_trtab) t;
   in
     Pretty.markup markup (prt_t ctxt curried prtabs (lookup_tr' print_ast_trtab)
-      (lookup_tokentr tokentrtab (! print_mode))
+      (lookup_tokentr tokentrtab (print_mode_value ()))
       (Ast.normalize_ast (Symtab.lookup_list print_ruletab) ast))
   end;