Merge branch 'update-backends' into develop

smackers · Sep 22, 2017 · 3a48c67 · 3a48c67
2 parents 9d98228 + 8952bdb
commit 3a48c67
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/bin/versions b/bin/versions
@@ -1,7 +1,7 @@
 MONO_VERSION=5.0.0.100
 Z3_VERSION=4.5.0
-BOOGIE_COMMIT=260070daa2
-CORRAL_COMMIT=438cc5dd5d
+BOOGIE_COMMIT=c609ee2864
+CORRAL_COMMIT=b2738b4839
 LOCKPWN_COMMIT=a4d802a1cb
 LLVM_SHORT_VERSION=3.9
 LLVM_FULL_VERSION=3.9.1