diff --git a/appveyor.yml b/appveyor.yml
index 4aa84b6a6..9fad393d9 100644
--- a/appveyor.yml
+++ b/appveyor.yml
@@ -59,9 +59,9 @@ install:
   - pip install pytest
   - SET p=x86
   - IF "%platform%"=="x64" SET p=x64
-  - curl -fsSL https://github.com/Z3Prover/z3/releases/download/z3-4.8.7/z3-4.8.7-%p%-win.zip -o z3-4.8.7-win.zip
-  - 7z x z3-4.8.7-win.zip -oexternals -r -y
-  - move externals\z3-4.8.7-%p%-win externals\z3
+  - curl -fsSL https://github.com/Z3Prover/z3/releases/download/z3-4.8.9/z3-4.8.9-%p%-win.zip -o z3-4.8.9-win.zip
+  - 7z x z3-4.8.9-win.zip -oexternals -r -y
+  - move externals\z3-4.8.9-%p%-win externals\z3
 
 build_script:
   - ECHO Building %configuration% %platform% with MSVC %VisualStudioVersion% using %PlatformToolset% PlatformToolset