From 874a40d1b360e52b2eb14bf1aa1793f22e00469e Mon Sep 17 00:00:00 2001
From: Matthew Haughton <3flex@users.noreply.github.com>
Date: Tue, 7 Mar 2017 03:55:17 -0800
Subject: [PATCH] [infer][PR] Update supported opam version to 1.2.2

Summary:
Fixes #588
Closes https://github.com/facebook/infer/pull/589

Reviewed By: mbouaziz

Differential Revision: D4666015

Pulled By: jvillard

fbshipit-source-id: 7372655
---
 INSTALL.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/INSTALL.md b/INSTALL.md
index be3978bb4..feeabf988 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -18,7 +18,7 @@ is required to be able to [use the
 release](http://fbinfer.com/docs/getting-started.html) (faster), or to
 compile everything from source (see the end of this document).
 
-- opam >= 1.2.0 (instructions [here](https://opam.ocaml.org/doc/Install.html#OSX))
+- opam 1.2.2 (instructions [here](https://opam.ocaml.org/doc/Install.html#OSX))
 - Python 2.7
 - pkg-config
 - libffi >= 3.0
@@ -46,7 +46,7 @@ is required to be able to [use the
 release](http://fbinfer.com/docs/getting-started.html) (faster), or to
 compile everything from source (see the end of this document).
 
-- opam >= 1.2.0
+- opam 1.2.2
 - Python 2.7
 - pkg-config
 - libffi >= 3.0