Updated Boogie

zvonimir · zvonimir · commit 1f80e6362b65 · 2021-10-25T21:08:10.000-06:00
diff --git a/bin/versions b/bin/versions
@@ -1,7 +1,7 @@
 Z3_VERSION="4.8.12"
 CVC4_VERSION="1.8"
 YICES2_VERSION="2.6.2"
-BOOGIE_VERSION="2.9.4"
+BOOGIE_VERSION="2.9.6"
 CORRAL_VERSION="1.1.8"
 SYMBOOGLIX_COMMIT="ccb2e7f2b3"
 LOCKPWN_COMMIT="12ba58f1ec"
