src/Pure/goal_display.ML
changeset 39116 f14735a88886
parent 39115 a00da1674c1c
child 39118 12f3788be67b
     1.1 --- a/src/Pure/goal_display.ML	Fri Sep 03 15:54:03 2010 +0200
     1.2 +++ b/src/Pure/goal_display.ML	Fri Sep 03 16:09:12 2010 +0200
     1.3 @@ -24,8 +24,7 @@
     1.4  
     1.5  (*true: show consts with types in proof state output*)
     1.6  val show_consts_default = Unsynchronized.ref false;
     1.7 -val show_consts_value =
     1.8 -  Config.declare false "show_consts" (fn _ => Config.Bool (! show_consts_default));
     1.9 +val show_consts_value = Config.declare "show_consts" (fn _ => Config.Bool (! show_consts_default));
    1.10  val show_consts = Config.bool show_consts_value;
    1.11  
    1.12  fun pretty_flexpair ctxt (t, u) = Pretty.block