#include <assert.h>
#include <string.h>
+#include <strings.h>
#include <isl_map_private.h>
#include <isl/set.h>
#include "isl_tab.h"
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;