| commit | 6549683cfb5d018e0ee4742217ce9839cd6b9345 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 25 Dec 2010 10:35:01 +0000 (25 11:35 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 23 Jan 2017 12:13:05 +0000 (23 13:13 +0100) | ||
| tree | 54f6bdc0b8edb62dc998b4ba048a17427d4efdbc | treesnapshot (tar.gz zip) |
| parent | b03112727f881a2a30848d965c308ebd12b6c1c3 | commitdiff |
lexmin.cc: partial_order::compare: remove some dead code
This was missing from 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>
This was missing from 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 |