diff --git a/.ci/deps.opam.sh b/.ci/deps.opam.sh
index c4a7a076e5..4baf2692ba 100755
--- a/.ci/deps.opam.sh
+++ b/.ci/deps.opam.sh
@@ -6,10 +6,10 @@ set -x
 .ci/deps.python27.sh
 
 # Infer commands
-if [ ! -e ~/infer-linux64-v0.7.0/infer/bin ]; then
-  wget -nc -O ~/infer.tar.xz https://github.com/facebook/infer/releases/download/v0.7.0/infer-linux64-v0.7.0.tar.xz
+if [ ! -e ~/infer-linux64-v1.1.0/infer/bin ]; then
+  wget -nc -O ~/infer.tar.xz https://github.com/facebook/infer/releases/download/v1.1.0/infer-linux64-v1.1.0.tar.xz
   tar xf ~/infer.tar.xz -C ~/
-  cd ~/infer-linux64-v0.7.0
+  cd ~/infer-linux64-v1.1.0
   opam init --y
   opam update
 
diff --git a/.travis.yml b/.travis.yml
index cc8249b4fe..28b054b9ee 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -555,7 +555,7 @@ jobs:
       language: generic
       env:
         BEARS="opam"
-        INFER_VERSION="0.7.0"
+        INFER_VERSION="1.1.0"
         PATH="$PATH:$HOME/infer-linux64-v$INFER_VERSION/infer/bin"
       addons:
         apt: