Update to isl-0.13.0

This pulls in a couple of minor cleanups in isl. More importantly, in
preparation of the upcoming LLVM releases this change brings us back on a
released version of isl.

llvm-svn: 213062

diff --git a/polly/utils/checkout_cloog.sh b/polly/utils/checkout_cloog.sh
index c28b1d8..0957005 100755 (executable)
--- a/polly/utils/checkout_cloog.sh
+++ b/polly/utils/checkout_cloog.sh
@@ -1,7 +1,7 @@
 #!/bin/sh
 
 CLOOG_HASH="22643c94eba7b010ae4401c347289f4f52b9cd2b"
-ISL_HASH="a64098e95e8c6404fa18f52fad75a8fd440c542f"
+ISL_HASH="163646566efd07086ed4fbe99ecbf8d5bb8ebca0"
 
 PWD=`pwd`