diff -r f77cc54f6d47 -r cfac69e7b962 src/Pure/Syntax/syntax.ML
--- a/src/Pure/Syntax/syntax.ML	Thu Jan 03 14:12:44 2019 +0100
+++ b/src/Pure/Syntax/syntax.ML	Thu Jan 03 15:55:36 2019 +0100
@@ -323,7 +323,7 @@
 (* global pretty printing *)
 
 val pretty_global = Config.declare_bool ("Syntax.pretty_global", \<^here>) (K false);
-fun is_pretty_global ctxt = Config.get ctxt pretty_global;
+val is_pretty_global = Config.apply pretty_global;
 val set_pretty_global = Config.put pretty_global;
 val init_pretty_global = set_pretty_global true o Proof_Context.init_global;
 val init_pretty = Context.cases init_pretty_global I;