diff options
Diffstat (limited to 'polly/lib/External/isl/isl_obj.c')
| -rw-r--r-- | polly/lib/External/isl/isl_obj.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/polly/lib/External/isl/isl_obj.c b/polly/lib/External/isl/isl_obj.c index e12035fcf8d..da593d3ffc1 100644 --- a/polly/lib/External/isl/isl_obj.c +++ b/polly/lib/External/isl/isl_obj.c @@ -13,6 +13,7 @@ * B.P. 105 - 78153 Le Chesnay, France */ +#include <isl/val.h> #include <isl/aff.h> #include <isl/set.h> #include <isl/map.h> |
