src/Pure/Isar/attrib.ML
changeset 36787 f60e4dd6d76f
parent 36002 f4f343500249
child 36950 75b8f26f2f07
--- a/src/Pure/Isar/attrib.ML	Mon May 10 17:37:32 2010 +0200
+++ b/src/Pure/Isar/attrib.ML	Mon May 10 20:53:06 2010 +0200
@@ -355,7 +355,7 @@
   | scan_value (Config.String _) = equals |-- Args.name >> Config.String;
 
 fun scan_config thy config =
-  let val config_type = Config.get_thy thy config
+  let val config_type = Config.get_global thy config
   in scan_value config_type >> (K o Thm.declaration_attribute o K o Config.put_generic config) end;
 
 in