lexmin.cc: drop unused indicator_constructor::normalize
commit74532f7552abf99627f17daa446f0b249a85a986
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 29 Nov 2016 11:16:38 +0000 (29 12:16 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 23 Jan 2017 12:13:05 +0000 (23 13:13 +0100)
tree0110e2fe04622089e604b20c3ecbed8bd910a288
parent84910d0926ed46a0a3ad35b9ad2dc3f55c402674
lexmin.cc: drop unused indicator_constructor::normalize

The last use of this method 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