drop isl_map_drop_redundant_divs
commit92582a5c7062f991aacca7da6eb4398d4beda8f3
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 19 Sep 2016 13:11:27 +0000 (19 15:11 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 22 Feb 2017 11:31:07 +0000 (22 12:31 +0100)
treecbd911beae49c07c32c27ba54c556ac9087107ce
parent5196f5c6673025c23bf82221ce0aa840081e3826
drop isl_map_drop_redundant_divs

This function was introduced in 41b415e (isl_basic_set_project_out:
drop redundant divs in result, Thu Aug 13 16:49:43 2009 +0200) but
never ended up getting used.

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