src/Pure/Isar/element.ML
changeset 20548 8ef25fe585a8
parent 20304 500a3373c93c
child 20886 f26672c248ee
     1.1 --- a/src/Pure/Isar/element.ML	Fri Sep 15 22:56:08 2006 +0200
     1.2 +++ b/src/Pure/Isar/element.ML	Fri Sep 15 22:56:13 2006 +0200
     1.3 @@ -381,7 +381,7 @@
     1.4  
     1.5  fun instT_term env =
     1.6    if Symtab.is_empty env then I
     1.7 -  else Term.map_term_types (instT_type env);
     1.8 +  else Term.map_types (instT_type env);
     1.9  
    1.10  fun instT_subst env th = (Drule.fold_terms o Term.fold_types o Term.fold_atyps)
    1.11    (fn T as TFree (a, _) =>