diff options
| -rw-r--r-- | polly/lib/External/ppcg/gpu_tree.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/polly/lib/External/ppcg/gpu_tree.c b/polly/lib/External/ppcg/gpu_tree.c index 918bc0bced2..0dcc7a144ee 100644 --- a/polly/lib/External/ppcg/gpu_tree.c +++ b/polly/lib/External/ppcg/gpu_tree.c @@ -11,6 +11,7 @@ #include <isl/set.h> #include <isl/union_set.h> +#include <isl/space.h> #include "gpu_tree.h" |
