changeset 40838 | d9bd6df700a8 |
parent 40836 | a81d66d72e70 |
child 40840 | 2f97215e79bf |
--- a/src/Tools/subtyping.ML Wed Dec 01 11:01:20 2010 +0100 +++ b/src/Tools/subtyping.ML Wed Dec 01 11:06:01 2010 +0100 @@ -397,7 +397,7 @@ val pairs = (last, hd nodes) :: (but_last ~~ tl nodes); in map_filter - (fn (TU, pack) => if member (eq_pair (op =) (op =)) pairs TU then SOME pack else NONE) + (fn (TU, pack) => if member (op =) pairs TU then SOME pack else NONE) cs' end;