src/Pure/unify.ML
changeset 20548 8ef25fe585a8
parent 20098 19871ee094b1
child 20664 ffbc5a57191a
     1.1 --- a/src/Pure/unify.ML	Fri Sep 15 22:56:08 2006 +0200
     1.2 +++ b/src/Pure/unify.ML	Fri Sep 15 22:56:13 2006 +0200
     1.3 @@ -636,7 +636,7 @@
     1.4            Term.map_atyps (fn T as TVar ((x, i), S) =>
     1.5              if i > maxidx then TVar ((x, i - offset), S) else T | T => T);
     1.6          val decr_indexes =
     1.7 -          Term.map_term_types decr_indexesT #>
     1.8 +          Term.map_types decr_indexesT #>
     1.9            Term.map_aterms (fn t as Var ((x, i), T) =>
    1.10              if i > maxidx then Var ((x, i - offset), T) else t | t => t);
    1.11