From 7d559f47830832dc2c420ab4070ad5e7ecbe807c Mon Sep 17 00:00:00 2001
From: Matthew Edwards <medwards@instructure.com>
Date: Tue, 6 Dec 2016 01:53:00 -0800
Subject: [PATCH] Update to Infer v0.9.4.1

Summary:
Also the infer version seems to be reporting the wrong value.

```
$ infer -version
Infer version v0.9.4
```
Closes https://github.com/facebook/infer/pull/524

Differential Revision: D4284090

Pulled By: jvillard

fbshipit-source-id: fd17833
---
 docker/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docker/Dockerfile b/docker/Dockerfile
index 2c7c9e62d..6c5f130bb 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -44,7 +44,7 @@ RUN VERSION=1.2.2; \
 RUN opam init -y --comp=4.02.3
 
 # Download the latest Infer release
-RUN INFER_VERSION=v0.9.3; \
+RUN INFER_VERSION=v0.9.4.1; \
     cd /opt && \
     curl -sL \
       https://github.com/facebook/infer/releases/download/${INFER_VERSION}/infer-linux64-${INFER_VERSION}.tar.xz | \