From 4c829344fad3c81737f9c9df10e0a79daa72d100 Mon Sep 17 00:00:00 2001
From: Chris Hawblitzel <Chris.Hawblitzel@microsoft.com>
Date: Tue, 9 Feb 2021 09:15:40 -0800
Subject: [PATCH] Binary release

---
 .docker/build/config.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.docker/build/config.json b/.docker/build/config.json
index 012c0231..9b54c663 100644
--- a/.docker/build/config.json
+++ b/.docker/build/config.json
@@ -29,7 +29,7 @@
 
     "ValeProject": {
         "recommended_z3_version": "4.8.5",
-        "recommended_fstar_version": "7a7dc377d52b91ea8c40a0146bfb4e8900e450ed",
-        "binary_release_vale_version": "0.3.16"
+        "recommended_fstar_version": "4421f806d6c182d72911cc64eba8a420c398b9aa",
+        "binary_release_vale_version": "0.3.17"
     }
 }