aboutsummaryrefslogtreecommitdiff
path: root/gcc/graphite-blocking.c
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/graphite-blocking.c')
-rw-r--r--gcc/graphite-blocking.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/graphite-blocking.c b/gcc/graphite-blocking.c
index d9d16e8..3434294 100644
--- a/gcc/graphite-blocking.c
+++ b/gcc/graphite-blocking.c
@@ -27,6 +27,7 @@ along with GCC; see the file COPYING3. If not see
/* Workaround for GMP 5.1.3 bug, see PR56019. */
#include <stddef.h>
+#include <isl/constraint.h>
#include <isl/set.h>
#include <isl/map.h>
#include <isl/union_map.h>