util.c: bv_ceil3: drop unused variable
commitb11835b331e5d748b4faa9fffa5d63469c916060
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 23 Dec 2016 14:48:27 +0000 (23 15:48 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 23 Jan 2017 12:13:07 +0000 (23 13:13 +0100)
tree225133dda6b52145f1ac47fc9413ec87dc671781
parent53d00afd015a8b7034a329d7b297cfeb9f9508db
util.c: bv_ceil3: drop unused variable

This was missing from 6e7823b (lattice_point.cc: add ceiling function,
Mon Apr 21 22:12:55 2008 +0200).

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
util.c