| commit | ce1f5a832e58a330a40195f7aa0e2eeeaeb7fb9f | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 29 Nov 2016 11:15:53 +0000 (29 12:15 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 13 Jan 2017 09:55:58 +0000 (13 10:55 +0100) | ||
| tree | 6257d36b12d1c989dde9995b9e26d4fdbffab257 | treesnapshot (tar.gz zip) |
| parent | 0161b29ebb610579792da5aa4d962ff143411cee | commitdiff |
lexmin.cc: drop indicator_constructor::substitute declaration
The definition was removed in 1885bfa (lexmin.cc: perform substitution
immediately on each term during construction, Wed Sep 6 14:20:54 2006 +0200).
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
The definition was removed in 1885bfa (lexmin.cc: perform substitution
immediately on each term during construction, Wed Sep 6 14:20:54 2006 +0200).
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| lexmin.cc | diffblobblamehistory |