lexmin.cc: drop redundant include
commitd1e52add8b92ade705a06da91582232315330ec4
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 3 Jan 2017 16:45:02 +0000 (3 17:45 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 2 Feb 2017 14:59:06 +0000 (2 15:59 +0100)
tree3b276446cbc144db4a93dd384e1db91190efd39e
parent446008098bd557c471eb85315dcf4b984f5e6afc
lexmin.cc: drop redundant include

This was missing from 0d388fa (barvinok/polylib.h: separate include
of polylib header, Sun Nov 19 00:21:48 2006 +0100).

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