| commit | 6b42c3773e155535d322c32d058717ee37ca2570 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 23 Dec 2016 13:22:09 +0000 (23 14:22 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 23 Jan 2017 12:13:06 +0000 (23 13:13 +0100) | ||
| tree | d78e121bdaa40225f5ef3f9475ae2c3c1bae1421 | treesnapshot (tar.gz zip) |
| parent | 8ac971b29a6f6b314755cecde4ad9e5c80f89d6f | commitdiff |
lexmin.cc: max_term::substitute: drop unused variable
This was missing from d2aa985 (lexmin: handle equalities among parameters,
Mon Nov 6 23:22:17 2006 +0100).
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
This was missing from d2aa985 (lexmin: handle equalities among parameters,
Mon Nov 6 23:22:17 2006 +0100).
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| lexmin.cc | diffblobblamehistory |