drop isl_set_drop_redundant_divs
commit5196f5c6673025c23bf82221ce0aa840081e3826
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 19 Sep 2016 13:11:11 +0000 (19 15:11 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 22 Feb 2017 11:31:07 +0000 (22 12:31 +0100)
tree597e5833ad5cf22d390a3f4cf9f0b6a74c23a259
parent9bade51b9267bbe2bb7cc239a16bea258bc5f770
drop isl_set_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