src/Pure/Isar/class.ML
changeset 24276 7a0f71fde62c
parent 24218 fbf1646b267c
child 24304 69d40a562ba4
     1.1 --- a/src/Pure/Isar/class.ML	Tue Aug 14 23:23:00 2007 +0200
     1.2 +++ b/src/Pure/Isar/class.ML	Tue Aug 14 23:23:04 2007 +0200
     1.3 @@ -617,7 +617,7 @@
     1.4  
     1.5  in
     1.6  
     1.7 -val instance_sort_cmd = gen_instance_sort Sign.read_class Sign.read_sort;
     1.8 +val instance_sort_cmd = gen_instance_sort Sign.read_class Syntax.global_read_sort;
     1.9  val instance_sort = gen_instance_sort Sign.certify_class Sign.certify_sort;
    1.10  val prove_instance_sort = instance_sort' o prove_interpretation_in;
    1.11  val instance_class_cmd = gen_instance_class Sign.read_class;