src/Pure/Syntax/syntax.ML
changeset 24613 bc889c3d55a3
parent 24512 fc4959967b30
child 24680 0d355aa59e67
--- 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;