| commit | 7a914ab263090996bbb80e9e6c1b5d13509b8b05 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 30 Dec 2016 09:46:24 +0000 (30 10:46 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 23 Jan 2017 12:13:05 +0000 (23 13:13 +0100) | ||
| tree | 2676ffbe733cc1ef954e1c697577c5d52b7464c6 | treesnapshot (tar.gz zip) |
| parent | 6549683cfb5d018e0ee4742217ce9839cd6b9345 | commitdiff |
lexmin.cc: partial_order::compare: remove more (presumably) dead code
The purpose of this code was never documented, but it should
no longer be needed since 49baac9 (lexmin.cc: partial_order::compare:
use substitution rather than domain cutting, Thu Nov 30 12:38:01 2006 +0100).
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
The purpose of this code was never documented, but it should
no longer be needed since 49baac9 (lexmin.cc: partial_order::compare:
use substitution rather than domain cutting, Thu Nov 30 12:38:01 2006 +0100).
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| lexmin.cc | diffblobblamehistory |