lexmin.cc: use remove_equalities consistently
commit5954a9d0ac48ab5e75769f3bf4dde9ef9a46c01c
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 10 Aug 2006 09:05:13 +0000 (10 11:05 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 10 Aug 2006 09:05:13 +0000 (10 11:05 +0200)
tree43cbe3138ae1acc070e6fbc464026ac81057a6bb
parent6eb17965a17c5055d7c79996069d3a54ace84062
lexmin.cc: use remove_equalities consistently
lexmin.cc