lexmin.cc: indicator_term::indicator_term: use consistent allocation
commit45962b4a59f4225a91b63399dd3671e0935f56df
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 29 Aug 2016 14:41:50 +0000 (29 16:41 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 5 Jan 2017 09:31:03 +0000 (5 10:31 +0100)
treeac318538b723ef5c36ea4be2303bbd9330ba34ba
parent82cc38ea01cbb1586753d60014ec0217c1f2c14a
lexmin.cc: indicator_term::indicator_term: use consistent allocation

In particular, do not allocate using "new" and free using "free".

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
lexmin.cc