Merge branch 'maint'

[platform/upstream/isl.git] / pip.c

diff --git a/pip.c b/pip.c
index 7f84327..7977431 100644 (file)
--- a/pip.c
+++ b/pip.c
@@ -9,9 +9,9 @@
 
 #include <assert.h>
 #include <string.h>
+#include <isl_map_private.h>
 #include <isl/set.h>
 #include "isl_tab.h"
-#include "isl_map_private.h"
 #include "isl_sample.h"
 #include "isl_scan.h"
 #include <isl/seq.h>
@@ -122,7 +122,7 @@ struct isl_vec *opt_at(struct isl_basic_set *bset,
 
        bset = plug_in_parameters(bset, params);
 
-       if (isl_basic_set_fast_is_empty(bset)) {
+       if (isl_basic_set_plain_is_empty(bset)) {
                opt = isl_vec_alloc(bset->ctx, 0);
                isl_basic_set_free(bset);
                return opt;