src/Pure/Isar/locale.ML
changeset 30585 6b2ba4666336
parent 30515 bca05b17b618
child 30725 c23a5b3cd1b9
     1.1 --- a/src/Pure/Isar/locale.ML	Thu Mar 19 13:26:19 2009 +0100
     1.2 +++ b/src/Pure/Isar/locale.ML	Thu Mar 19 13:28:55 2009 +0100
     1.3 @@ -181,7 +181,7 @@
     1.4  fun axioms_of thy = #axioms o the_locale thy;
     1.5  
     1.6  fun instance_of thy name morph = params_of thy name |>
     1.7 -  map ((fn (b, T, _) => Free (Binding.name_of b, the T)) #> Morphism.term morph);
     1.8 +  map ((fn (b, T, _) => Free (Name.of_binding b, the T)) #> Morphism.term morph);
     1.9  
    1.10  fun specification_of thy = #spec o the_locale thy;
    1.11