diff --git a/.travis.yml b/.travis.yml
index 89bc8652d..166c0f109 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -8,7 +8,7 @@ before_install:
         - git submodule update --init --recursive
 install:
         - sudo apt-get install nasm texinfo libmpfr-dev libmpc-dev libgmp-dev
-        - wget ftp://gcc.gnu.org/pub/gcc/infrastructure/isl-0.10.tar.bz2
+        - wget ftp://gcc.gnu.org/pub/gcc/infrastructure/isl-0.12.2.tar.bz2
         - tar -xjf isl-0.12.2.tar.bz2
         - cd isl-0.12.2
         - ./configure -with-bits=gmp