From b2e4c086438de4d19ddd89f6ea4223601f301849 Mon Sep 17 00:00:00 2001 From: Tobias Grosser Date: Fri, 21 Sep 2018 13:17:05 +0200 Subject: [PATCH] isl_tab.c: context_tab_insert_div: use isl_bool_ok Signed-off-by: Tobias Grosser Signed-off-by: Sven Verdoolaege --- isl_tab_pip.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/isl_tab_pip.c b/isl_tab_pip.c index 2f3f54a0..d40c4d1d 100644 --- a/isl_tab_pip.c +++ b/isl_tab_pip.c @@ -2073,7 +2073,7 @@ static isl_bool context_tab_insert_div(struct isl_tab *tab, int pos, if (!tab->samples) return isl_bool_error; - return nonneg; + return isl_bool_ok(nonneg); } /* Add a div specified by "div" to both the main tableau and -- 2.11.4.GIT