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;