lexmin.cc: indicator_constructor::indicator_constructor: drop redundant argument
commitb2fdbea41475c99c3e319602a6dff67d541b2e62
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 25 Nov 2016 13:02:22 +0000 (25 14:02 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 2 Feb 2017 14:59:05 +0000 (2 15:59 +0100)
tree1a9f23e4338a0760fb1a3d6dd682df02a30e8ad2
parent8e98ea18d76890a0da6ab01f4d6ad3f38bcac5b6
lexmin.cc: indicator_constructor::indicator_constructor: drop redundant argument

The argument became redundant in 8d2d47c (keep track of and use saturating
constraints in Param_Polyhedron, Fri Oct 5 09:33:16 2007 +0200).

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