From 26338283d8f1c4e7b6834c0fb7b5ec34b9ba0e71 Mon Sep 17 00:00:00 2001
From: Tobias Grosser <tobias@grosser.es>
Date: Sun, 19 Jan 2014 11:53:18 +0000
Subject: [PATCH] Switch isl back to isl 0.12.1

The newer isl version broke backward compatibility. For some reason, I did not
find this in my own tests.

llvm-svn: 199586
---
 polly/utils/checkout_cloog.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/polly/utils/checkout_cloog.sh b/polly/utils/checkout_cloog.sh
index 3ffd4b541e41a..e8e68d476c1a6 100755
--- a/polly/utils/checkout_cloog.sh
+++ b/polly/utils/checkout_cloog.sh
@@ -1,7 +1,7 @@
 #!/bin/sh
 
 CLOOG_HASH="2d8b7c6b43ee46fee978a57fa6877de49675f357"
-ISL_HASH="1b3ba3b72c0482fd36bf0b4a1186a259f7bafeed"
+ISL_HASH="34eb3a0c3d52875ec93e926f12713feff4d08af0"
 
 PWD=`pwd`