whoops, undo test change

verus-lang · Oct 22, 2024 · 703449d · 703449d
1 parent de60bcd
commit 703449d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/source/tools/get-z3.sh b/source/tools/get-z3.sh
@@ -1,6 +1,6 @@
 #! /bin/bash -eu
 
-z3_version="4.13.0"
+z3_version="4.12.5"
 
 if [ `uname` == "Darwin" ]; then
     if [[ $(uname -m) == 'arm64' ]]; then