src/Pure/Isar/attrib.ML
changeset 39116 f14735a88886
parent 39115 a00da1674c1c
child 39117 399977145846
     1.1 --- a/src/Pure/Isar/attrib.ML	Fri Sep 03 15:54:03 2010 +0200
     1.2 +++ b/src/Pure/Isar/attrib.ML	Fri Sep 03 16:09:12 2010 +0200
     1.3 @@ -374,7 +374,7 @@
     1.4  
     1.5  fun declare_config make coerce global name default =
     1.6    let
     1.7 -    val config_value = Config.declare global name (make o default);
     1.8 +    val config_value = Config.declare_generic {global = global} name (make o default);
     1.9      val config = coerce config_value;
    1.10    in (config, register_config config_value) end;
    1.11