src/Pure/pattern.ML
changeset 14643 130076a81b84
parent 13998 75a399c2781f
child 14787 724ce6e574e3
     1.1 --- a/src/Pure/pattern.ML	Thu Apr 22 10:49:30 2004 +0200
     1.2 +++ b/src/Pure/pattern.ML	Thu Apr 22 10:52:32 2004 +0200
     1.3 @@ -287,7 +287,7 @@
     1.4              in Envir.update((F,mkabs(binders,is,u)),env') end
     1.5              handle Unif => (proj_fail params; raise Unif));
     1.6  
     1.7 -fun unify(sg,env,tus) = (sgr := sg; tsgr := #tsig(Sign.rep_sg sg);
     1.8 +fun unify(sg,env,tus) = (sgr := sg; tsgr := Sign.tsig_of sg;
     1.9                           foldl (unif []) (env,tus));
    1.10  
    1.11