src/Pure/unify.ML

--- a/src/Pure/unify.ML	Thu Apr 22 10:49:30 2004 +0200
+++ b/src/Pure/unify.ML	Thu Apr 22 10:52:32 2004 +0200
@@ -179,7 +179,7 @@
 
 fun unify_types(T,U, env as Envir.Envir{asol,iTs,maxidx}) =
   if T=U then env
-  else let val (iTs',maxidx') = Type.unify (#tsig(Sign.rep_sg (!sgr))) (iTs, maxidx) (U, T)
+  else let val (iTs',maxidx') = Type.unify (Sign.tsig_of (!sgr)) (iTs, maxidx) (U, T)
        in Envir.Envir{asol=asol,maxidx=maxidx',iTs=iTs'} end
        handle Type.TUNIFY => raise CANTUNIFY;