EDomain::compute_ge_constraint: drop unused variable
commit62ce280913fbf32e6ab19b78e52e493fedeb3b7b
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 23 Dec 2016 13:15:46 +0000 (23 14:15 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 23 Jan 2017 12:13:05 +0000 (23 13:13 +0100)
tree16a968cfec19a70afceca812009cbd8b94341809
parent84a413d6f7ac3512edd7f064a07ddc9d777e5c83
EDomain::compute_ge_constraint: drop unused variable

This was missing from 1abc947 (edomain.h: add EDomain_floor abstraction,
Fri Sep 22 14:53:08 2006 +0200).

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