diff --git a/polly/utils/checkout_cloog.sh b/polly/utils/checkout_cloog.sh
index 1c7ceb9d726a..cea76fae91f3 100755
--- a/polly/utils/checkout_cloog.sh
+++ b/polly/utils/checkout_cloog.sh
@@ -1,7 +1,7 @@
 #!/bin/sh
 
 CLOOG_HASH="57470e76bfd58a0c38c598e816411663193e0f45"
-ISL_HASH="990ad28a4356f5743bed503fbdcb7e85747f727f"
+ISL_HASH="3c66541593a6bf3b5a3d35d31567abe6c9e5a04b"
 
 PWD=`pwd`