| changeset 22678 | 23963361278c |
| parent 22174 | f2bf6bcd4a98 |
| child 24670 | 9aae962b1d56 |
--- a/src/Pure/envir.ML Sat Apr 14 17:36:03 2007 +0200 +++ b/src/Pure/envir.ML Sat Apr 14 17:36:05 2007 +0200 @@ -74,7 +74,7 @@ in (env',v) end; fun var_clash ixn T T' = raise TYPE ("Variable " ^ - quote (Syntax.string_of_vname ixn) ^ " has two distinct types", + quote (Term.string_of_vname ixn) ^ " has two distinct types", [T', T], []); fun gen_lookup f asol (xname, T) =