From fa8079d0dc1b9fbca201b92f30d3c97386c75114 Mon Sep 17 00:00:00 2001
From: Tobias Grosser <tobias@grosser.es>
Date: Tue, 20 Feb 2018 07:26:42 +0000
Subject: Update isl to isl-0.18-1047-g4a20ef8

This update:

  - Removes several deprecated functions (e.g., isl_band).
  - Improves the pretty-printing of sets by detecting modulos and "false"
    equalities.
  - Minor improvements to coalescing and increased robustness of the isl
    scheduler.

This update does not yet include isl commit isl-0.18-90-gd00cb45
(isl_pw_*_alloc: add missing check for compatible spaces, Wed Sep 6 12:18:04
2017 +0200), as this additional check is too tight and unfortunately causes
two test case failures in Polly. A patch has been submitted to isl and will be
included in the next isl update for Polly.

llvm-svn: 325557
---
 polly/lib/External/isl/isl_range.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'polly/lib/External/isl/isl_range.c')

diff --git a/polly/lib/External/isl/isl_range.c b/polly/lib/External/isl/isl_range.c
index d63ce58758a..690d7b948f2 100644
--- a/polly/lib/External/isl/isl_range.c
+++ b/polly/lib/External/isl/isl_range.c
@@ -1,4 +1,5 @@
 #include <isl_ctx_private.h>
+#include <isl/val.h>
 #include <isl_constraint_private.h>
 #include <isl/set.h>
 #include <isl_polynomial_private.h>
-- 
cgit v1.2.3