fix z3 4.13.3 URL for Windows

project-everest · Dec 16, 2024 · b9c3b94 · b9c3b94
1 parent 4b18d85
commit b9c3b94
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/get_fstar_z3.sh b/get_fstar_z3.sh
@@ -19,7 +19,7 @@ release_url["Linux-x86_64-4.13.3"]="https://github.com/Z3Prover/z3/releases/down
 release_url["Linux-aarch64-4.13.3"]="https://github.com/Z3Prover/z3/releases/download/z3-4.13.3/z3-4.13.3-arm64-glibc-2.34.zip"
 release_url["Darwin-x86_64-4.13.3"]="https://github.com/Z3Prover/z3/releases/download/z3-4.13.3/z3-4.13.3-x64-osx-13.7.zip"
 release_url["Darwin-aarch64-4.13.3"]="https://github.com/Z3Prover/z3/releases/download/z3-4.13.3/z3-4.13.3-arm64-osx-13.7.zip"
-release_url["Windows-x86_64-4.13.3"]="https://github.com/Z3Prover/z3/releases/download/Z3-4.8.5/z3-4.8.5-x64-win.zip"
+release_url["Windows-x86_64-4.13.3"]="https://github.com/Z3Prover/z3/releases/download/z3-4.13.3/z3-4.13.3-x64-win.zip"
 
 trap "exit 1" HUP INT PIPE QUIT TERM
 cleanup() {