lexmin.cc: indicator::create_max_term: drop unused variable
commitebd125febffd0342fb4df80f5670da883b4e910f
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 23 Dec 2016 13:22:47 +0000 (23 14:22 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 23 Jan 2017 12:13:06 +0000 (23 13:13 +0100)
tree833462de0ee779b78562625effc12ceb225f0b21
parent6b42c3773e155535d322c32d058717ee37ca2570
lexmin.cc: indicator::create_max_term: drop unused variable

This was missing from d2aa985 (lexmin: handle equalities among parameters,
Mon Nov 6 23:22:17 2006 +0100).

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