From b8e3ac7438034cb2e31b1250444973835e53210a Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Tue, 27 Jun 2017 06:45:14 -0700
Subject: [PATCH] [ocaml] switch to 4.04.2 by default

Summary: This should be uncontroversial.

Reviewed By: mbouaziz

Differential Revision: D5310148

fbshipit-source-id: 446b92d
---
 build-infer.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build-infer.sh b/build-infer.sh
index c646ce036..65f9c5af9 100755
--- a/build-infer.sh
+++ b/build-infer.sh
@@ -16,7 +16,7 @@ INFER_ROOT="$SCRIPT_DIR"
 INFER_DEPS_DIR="$INFER_ROOT/dependencies/infer-deps"
 PLATFORM="$(uname)"
 NCPU="$(getconf _NPROCESSORS_ONLN 2>/dev/null || echo 1)"
-OCAML_VERSION="4.04.0"
+OCAML_VERSION="4.04.2"
 OPAM_LOCK_URL=${OPAM_LOCK_URL:-"https://github.com/rgrinberg/opam-lock"}
 
 INFER_OPAM_SWITCH_DEFAULT=infer-"$OCAML_VERSION"