From 6b24ea7bb1968cc3e6984a46cd4c7f018f120660 Mon Sep 17 00:00:00 2001
From: Waylon Cude <waylon@muse.dev>
Date: Wed, 18 Dec 2019 02:38:44 -0800
Subject: [PATCH] [infer][PR] Fix CI

Summary:
The CI script complains because it's trying to build infer with an old version of ocaml, so to remedy this I bumped the ocaml version in CI. It looks like the CI passes with this change, I did some testing on my own fork of infer and got the CI job to pass in Travis.
Pull Request resolved: https://github.com/facebook/infer/pull/1206

Differential Revision: D19158154

Pulled By: jvillard

fbshipit-source-id: 1bc21024b
---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index e7443ae74..1956f8fe6 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,7 +1,7 @@
 language: c
 sudo: required
 env:
-  - OCAML_VERSION=4.07.1
+  - OCAML_VERSION=4.08.1
 cache:
   directories:
     - ${HOME}/.opam