--- a/src/Pure/goal_display.ML Fri Sep 03 15:54:03 2010 +0200
+++ b/src/Pure/goal_display.ML Fri Sep 03 16:09:12 2010 +0200
@@ -24,8 +24,7 @@
(*true: show consts with types in proof state output*)
val show_consts_default = Unsynchronized.ref false;
-val show_consts_value =
- Config.declare false "show_consts" (fn _ => Config.Bool (! show_consts_default));
+val show_consts_value = Config.declare "show_consts" (fn _ => Config.Bool (! show_consts_default));
val show_consts = Config.bool show_consts_value;
fun pretty_flexpair ctxt (t, u) = Pretty.block