src/Pure/Isar/attrib.ML

--- a/src/Pure/Isar/attrib.ML	Fri Sep 03 15:54:03 2010 +0200
+++ b/src/Pure/Isar/attrib.ML	Fri Sep 03 16:09:12 2010 +0200
@@ -374,7 +374,7 @@
 
 fun declare_config make coerce global name default =
   let
-    val config_value = Config.declare global name (make o default);
+    val config_value = Config.declare_generic {global = global} name (make o default);
     val config = coerce config_value;
   in (config, register_config config_value) end;