src/Pure/envir.ML
changeset 20548 8ef25fe585a8
parent 20098 19871ee094b1
child 20670 115262dd18e2
     1.1 --- a/src/Pure/envir.ML	Fri Sep 15 22:56:08 2006 +0200
     1.2 +++ b/src/Pure/envir.ML	Fri Sep 15 22:56:13 2006 +0200
     1.3 @@ -268,7 +268,7 @@
     1.4    in subst T end;
     1.5  
     1.6  (*Substitute for type Vars in a term*)
     1.7 -val subst_TVars = map_term_types o typ_subst_TVars;
     1.8 +val subst_TVars = map_types o typ_subst_TVars;
     1.9  
    1.10  (*Substitute for Vars in a term *)
    1.11  fun subst_Vars itms t = if Vartab.is_empty itms then t else