summaryrefslogtreecommitdiff
path: root/polly/lib/External/isl/pip.c
diff options
context:
space:
mode:
Diffstat (limited to 'polly/lib/External/isl/pip.c')
-rw-r--r--polly/lib/External/isl/pip.c3
1 files changed, 1 insertions, 2 deletions
diff --git a/polly/lib/External/isl/pip.c b/polly/lib/External/isl/pip.c
index 9e6c1ec011da..e968ca71dd67 100644
--- a/polly/lib/External/isl/pip.c
+++ b/polly/lib/External/isl/pip.c
@@ -12,7 +12,6 @@
#include <isl_map_private.h>
#include <isl/aff.h>
#include <isl/set.h>
-#include "isl_tab.h"
#include "isl_sample.h"
#include "isl_scan.h"
#include <isl_seq.h>
@@ -112,7 +111,7 @@ static __isl_give isl_basic_set *move_parameters(__isl_take isl_basic_set *bset,
nparam = isl_basic_set_dim(context, isl_dim_param);
nparam_bset = isl_basic_set_dim(bset, isl_dim_param);
- if (nparam < 0 | nparam_bset < 0)
+ if (nparam < 0 || nparam_bset < 0)
return isl_basic_set_free(bset);
if (nparam == nparam_bset)
return bset;