aboutsummaryrefslogtreecommitdiff
path: root/gcc/graphite.c
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/graphite.c')
-rw-r--r--gcc/graphite.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/graphite.c b/gcc/graphite.c
index 6417da2..9b9ab88 100644
--- a/gcc/graphite.c
+++ b/gcc/graphite.c
@@ -38,6 +38,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/options.h>