From 5196f5c6673025c23bf82221ce0aa840081e3826 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Mon, 19 Sep 2016 15:11:11 +0200 Subject: [PATCH] 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 --- isl_map_simplify.c | 5 ----- 1 file changed, 5 deletions(-) diff --git a/isl_map_simplify.c b/isl_map_simplify.c index 2199623f..ba872eb7 100644 --- a/isl_map_simplify.c +++ b/isl_map_simplify.c @@ -5209,11 +5209,6 @@ error: return NULL; } -struct isl_set *isl_set_drop_redundant_divs(struct isl_set *set) -{ - return set_from_map(isl_map_drop_redundant_divs(set_to_map(set))); -} - /* Does "bmap" satisfy any equality that involves more than 2 variables * and/or has coefficients different from -1 and 1? */ -- 2.11.4.GIT