src/Pure/unify.ML
changeset 12527 d6c91bc3e49c
parent 12262 11ff5f47df6e
child 14643 130076a81b84
     1.1 --- a/src/Pure/unify.ML	Mon Dec 17 14:27:18 2001 +0100
     1.2 +++ b/src/Pure/unify.ML	Tue Dec 18 02:17:20 2001 +0100
     1.3 @@ -179,8 +179,7 @@
     1.4  
     1.5  fun unify_types(T,U, env as Envir.Envir{asol,iTs,maxidx}) =
     1.6    if T=U then env
     1.7 -  else let val (iTs',maxidx') = Type.unify (#tsig(Sign.rep_sg (!sgr)))
     1.8 -                                                maxidx iTs (U,T)
     1.9 +  else let val (iTs',maxidx') = Type.unify (#tsig(Sign.rep_sg (!sgr))) (iTs, maxidx) (U, T)
    1.10         in Envir.Envir{asol=asol,maxidx=maxidx',iTs=iTs'} end
    1.11         handle Type.TUNIFY => raise CANTUNIFY;
    1.12