From e77c1d8ea6d7b1fb3e027bf9458e994728f7d0b3 Mon Sep 17 00:00:00 2001
From: Adil Aliyev <adilaliev@gmail.com>
Date: Thu, 20 Apr 2017 17:23:55 -0700
Subject: [PATCH] [infer][PR] fixup to address the issues #644 and #643

Summary:
https://github.com/facebook/infer/issues/643
https://github.com/facebook/infer/issues/644
Closes https://github.com/facebook/infer/pull/646

Differential Revision: D4926003

Pulled By: jvillard

fbshipit-source-id: b3d408d
---
 opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/opam b/opam
index 29736852e..83616c1d9 100644
--- a/opam
+++ b/opam
@@ -36,7 +36,7 @@ depends: [
   "ocamlfind" {build}
   "ounit" {="2.0.0"}
   "ppx_deriving" {>="4.1"}
-  "reason" {="1.13.3"}
+  "reason" {="1.13.4"}
   "sawja" {>="1.5.2"}
   "xmlm" {>="1.2.0"}
 ]