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