diff -r cf53c2dcf440 -r b1d1b5bfc464 src/Pure/display.ML
--- a/src/Pure/display.ML	Fri Mar 04 11:44:26 2005 +0100
+++ b/src/Pure/display.ML	Fri Mar 04 15:07:34 2005 +0100
@@ -282,7 +282,7 @@
   | add_vars (t $ u, env) = add_vars (u, add_vars (t, env))
   | add_vars (_, env) = env;
 
-fun add_varsT (Type (_, Ts), env) = Library.foldr add_varsT (Ts, env)
+fun add_varsT (Type (_, Ts), env) = foldr add_varsT env Ts
   | add_varsT (TFree (x, S), env) = ins_entry (S, (x, ~1)) env
   | add_varsT (TVar (xi, S), env) = ins_entry (S, xi) env;