src/Pure/display.ML
changeset 15574 b1d1b5bfc464
parent 15570 8d8c70b41bab
child 16127 549fff1d0fc6
     1.1 --- a/src/Pure/display.ML	Fri Mar 04 11:44:26 2005 +0100
     1.2 +++ b/src/Pure/display.ML	Fri Mar 04 15:07:34 2005 +0100
     1.3 @@ -282,7 +282,7 @@
     1.4    | add_vars (t $ u, env) = add_vars (u, add_vars (t, env))
     1.5    | add_vars (_, env) = env;
     1.6  
     1.7 -fun add_varsT (Type (_, Ts), env) = Library.foldr add_varsT (Ts, env)
     1.8 +fun add_varsT (Type (_, Ts), env) = foldr add_varsT env Ts
     1.9    | add_varsT (TFree (x, S), env) = ins_entry (S, (x, ~1)) env
    1.10    | add_varsT (TVar (xi, S), env) = ins_entry (S, xi) env;
    1.11