Update README.md

boogie-org · Dec 31, 2019 · 09ee32e · 09ee32e
1 parent c7f0ff4
commit 09ee32e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -120,7 +120,7 @@ Support for [CVC4](https://cvc4.github.io/) and
 
 ### Z3
 
-The current test suite assumes version 4.8.4, but earlier and newer versions may
+The current test suite assumes version 4.8.7, but earlier and newer versions may
 also work.
 
 Option 1: Make sure a Z3 executable called `z3` or `z3.exe` is in your `PATH`