src/Pure/Syntax/printer.ML
changeset 24612 d1b315bdb8d7
parent 23937 66e1f24d655d
child 25386 82b62fe11d7a
--- a/src/Pure/Syntax/printer.ML	Mon Sep 17 16:06:35 2007 +0200
+++ b/src/Pure/Syntax/printer.ML	Mon Sep 17 16:36:41 2007 +0200
@@ -367,14 +367,14 @@
 (* pretty_term_ast *)
 
 fun pretty_term_ast extern_const ctxt curried prtabs trf tokentrf ast =
-  pretty extern_const ctxt (mode_tabs prtabs (! print_mode))
+  pretty extern_const ctxt (mode_tabs prtabs (print_mode_value ()))
     trf tokentrf false curried ast 0;
 
 
 (* pretty_typ_ast *)
 
 fun pretty_typ_ast ctxt _ prtabs trf tokentrf ast =
-  pretty I ctxt (mode_tabs prtabs (! print_mode))
+  pretty I ctxt (mode_tabs prtabs (print_mode_value ()))
     trf tokentrf true false ast 0;
 
 end;