From 93c37587173aea9fe2a82a9397f0b7a595642541 Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Fri, 31 Mar 2017 08:11:42 -0700
Subject: [PATCH] [docker] revert accidentally bumped infer version

Summary: The version of infer in that file shouldn't be bumped until the release has been published on GitHub.

Reviewed By: jberdine

Differential Revision: D4810275

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

diff --git a/docker/Dockerfile b/docker/Dockerfile
index 055f853b2..0f5a6d110 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -45,7 +45,7 @@ RUN VERSION=1.2.2; \
 RUN opam init -y --comp=4.02.3
 
 # Download the latest Infer release
-RUN INFER_VERSION=v0.11.0; \
+RUN INFER_VERSION=v0.10.0; \
     cd /opt && \
     curl -sL \
       https://github.com/facebook/infer/releases/download/${INFER_VERSION}/infer-linux64-${INFER_VERSION}.tar.xz | \