changeset 2989 | 8189a4870d19 |
parent 2980 | 98ad57d99427 |
child 3510 | 24d235feeb2a |
--- a/src/Pure/type_infer.ML Fri Apr 18 11:54:54 1997 +0200 +++ b/src/Pure/type_infer.ML Fri Apr 18 11:55:14 1997 +0200 @@ -257,7 +257,7 @@ (* adjust sorts of parameters *) fun not_in_sort x S' S = - "Type variable " ^ x ^ "::" ^ Sorts.str_of_sort S' ^ " not in sort " ^ + "Variable " ^ x ^ "::" ^ Sorts.str_of_sort S' ^ " not of sort " ^ Sorts.str_of_sort S ^ "."; fun meet _ [] = ()