lexmin.cc: drop redundant include
commit446008098bd557c471eb85315dcf4b984f5e6afc
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 12 Dec 2016 17:24:48 +0000 (12 18:24 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 2 Feb 2017 14:59:06 +0000 (2 15:59 +0100)
tree31cccfe01881bc57199be3d96c6d98d1c0fd18b5
parenta1141643aa8948bb6feef43bf5aab29cd2f92bf5
lexmin.cc: drop redundant include

It is not clear if this include was ever needed.

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