From 9587464b62f9e1d2d77aff97f22ff3c550e37f13 Mon Sep 17 00:00:00 2001
From: justbaileym <justbaileym@users.noreply.github.com>
Date: Tue, 18 Oct 2022 21:27:33 +0200
Subject: [PATCH] Upgrade infer

Closes #2931
---
 .ci/deps.opam.sh | 6 +++---
 .travis.yml      | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

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: