From f85fa9cae1732877cac1621a1019cf75952e6b36 Mon Sep 17 00:00:00 2001
From: Chris Hawblitzel <Chris.Hawblitzel@microsoft.com>
Date: Tue, 7 May 2019 14:28:06 -0700
Subject: [PATCH] Binary release

---
 .docker/build/config.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.docker/build/config.json b/.docker/build/config.json
index ec256973..ac3e4bd4 100644
--- a/.docker/build/config.json
+++ b/.docker/build/config.json
@@ -30,6 +30,6 @@
     "ValeProject": {
         "recommended_z3_version": "4.5.1",
         "recommended_fstar_version": "dfcd66fe5064b84b6b737627fa7712276c9d668e",
-        "binary_release_vale_version": "0.3.1"
+        "binary_release_vale_version": "0.3.2"
     }
 }