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