From 1d94cf3e7a9a6180c4124bf71c3eb39b63b03629 Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Thu, 27 Oct 2016 10:22:30 -0700
Subject: [PATCH] bump version: 0.9.3 -> 0.9.4

Summary: New version of Infer.

Reviewed By: dulmarod

Differential Revision: D4088747

fbshipit-source-id: 9362ff0
---
 configure.ac      | 4 ++--
 docker/Dockerfile | 2 +-
 opam              | 2 +-
 package.json      | 2 +-
 4 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/configure.ac b/configure.ac
index e2e5bceed..3e47ea8d3 100644
--- a/configure.ac
+++ b/configure.ac
@@ -15,7 +15,7 @@ AC_PREREQ([2.63])
 # - opam
 # - docker/Dockerfile
 AC_INIT([Infer],
-        [0.9.3],
+        [0.9.4],
         [https://github.com/facebook/infer/issues/])
 
 # this has to happen just after AC_INIT() because later macros may mess with the arguments passed to
@@ -27,7 +27,7 @@ AC_CONFIG_SRCDIR([infer/src/IR/Sil.re])
 # WARNING: keep in sync with above
 INFER_MAJOR=0
 INFER_MINOR=9
-INFER_PATCH=3
+INFER_PATCH=4
 
 AC_SUBST([INFER_MAJOR])
 AC_SUBST([INFER_MINOR])
diff --git a/docker/Dockerfile b/docker/Dockerfile
index 2c7c9e62d..8e1d4e073 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; \
     cd /opt && \
     curl -sL \
       https://github.com/facebook/infer/releases/download/${INFER_VERSION}/infer-linux64-${INFER_VERSION}.tar.xz | \
diff --git a/opam b/opam
index a522c79dc..caaf5f3c6 100644
--- a/opam
+++ b/opam
@@ -1,6 +1,6 @@
 opam-version: "1.2"
 name: "infer"
-version: "0.9.3"
+version: "0.9.4"
 maintainer: "opam-devel@lists.ocaml.org"
 authors: "Facebook"
 homepage: "https://github.com/facebook/infer"
diff --git a/package.json b/package.json
index af645a6f4..7069dfb42 100644
--- a/package.json
+++ b/package.json
@@ -1,5 +1,5 @@
 {
-  "version": "0.9.3",
+  "version": "0.9.4",
   "description": "infer",
   "exportedEnvVars": {
     "FINDLIB": {