src/Pure/Isar/class.ML
changeset 25829 4b44d945702f
parent 25770 cb11c9ee2538
child 25864 11f531354852
     1.1 --- a/src/Pure/Isar/class.ML	Fri Jan 04 00:54:12 2008 +0100
     1.2 +++ b/src/Pure/Isar/class.ML	Fri Jan 04 09:04:32 2008 +0100
     1.3 @@ -824,7 +824,7 @@
     1.4      val _ = case map (fst o snd) params
     1.5       of [] => ()
     1.6        | cs => Output.legacy_feature
     1.7 -          ("Missing definitions for overloaded parameters " ^ commas_quote cs)
     1.8 +          ("Missing specifications for overloaded parameters " ^ commas_quote cs)
     1.9    in lthy end;
    1.10  
    1.11  fun pretty_instantiation lthy =