src/Pure/envir.ML
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) =