lexmin.cc: verify_results: drop unused variables
commit8ac971b29a6f6b314755cecde4ad9e5c80f89d6f
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 23 Dec 2016 13:21:46 +0000 (23 14:21 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 23 Jan 2017 12:13:06 +0000 (23 13:13 +0100)
tree35e0718130f386cf0a6f01acd38a4a305fe48b1b
parent9bf14fbd77dcf9de0a38394ccc7317ecc2a4a5cf
lexmin.cc: verify_results: drop unused variables

This was missing from ba89792 (merge check_poly from verif_ehrhart.c
and lexmin.cc, Fri Mar 16 16:05:42 2007 +0100).

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