#include <stdlib.h>
#include <isl_ctx_private.h>
#include <isl_map_private.h>
+#include <isl_options_private.h>
#include "isl_basis_reduction.h"
static void save_alpha(GBR_LP *lp, int first, int n, GBR_type *alpha)
isl_die(bset->ctx, isl_error_invalid,
"no parameters allowed", return NULL);
- tab = isl_tab_from_basic_set(bset);
+ tab = isl_tab_from_basic_set(bset, 0);
if (!tab)
return NULL;