diff --git a/ports/z3/CONTROL b/ports/z3/CONTROL
index d5851972..770721fa 100644
--- a/ports/z3/CONTROL
+++ b/ports/z3/CONTROL
@@ -1,5 +1,5 @@
 Source: z3
-Version: 4.8.12
+Version: 4.8.13
 Homepage: https://github.com/Z3Prover/z3
 Description: Z3 is a theorem prover from Microsoft Research.
 Supports: !uwp
diff --git a/ports/z3/fix-cmake-flags.patch b/ports/z3/fix-cmake-flags.patch
index 2aae1c16..688612a5 100755
--- a/ports/z3/fix-cmake-flags.patch
+++ b/ports/z3/fix-cmake-flags.patch
@@ -7,6 +7,6 @@ index fa25316..75c358c 100644
  cmake_minimum_required(VERSION 3.4)
  
 -set(CMAKE_USER_MAKE_RULES_OVERRIDE_CXX "${CMAKE_CURRENT_SOURCE_DIR}/cmake/cxx_compiler_flags_overrides.cmake")
- project(Z3 VERSION 4.8.12.0 LANGUAGES CXX)
+ project(Z3 VERSION 4.8.13.0 LANGUAGES CXX)
  
  ################################################################################
diff --git a/ports/z3/portfile.cmake b/ports/z3/portfile.cmake
index ff399d31..e0e9a6a3 100644
--- a/ports/z3/portfile.cmake
+++ b/ports/z3/portfile.cmake
@@ -8,8 +8,8 @@ vcpkg_add_to_path("${PYTHON3_DIR}")
 vcpkg_from_github(
   OUT_SOURCE_PATH SOURCE_PATH
   REPO Z3Prover/z3
-  REF 3a402ca2c14c3891d24658318406f80ce59b719f # z3-4.8.12
-  SHA512 1db5a840239bdce5141286cb13944fd755c16b0681560934b9f9f98121cdc1224db49dab130eeaf2ee160fba5de660edd0a3d0ac2a8ae6a32de2c88e8388ae2d
+  REF feadfbfba4642cd81d36c30cb901f605c48712ad # z3-4.8.13
+  SHA512 22c1ef42c2bddc50507f914c2eefd2caa0ee961ef1c216c9724a9c7e6da3927bcaaf70b6e1a44428e0e27b57f1d20854347ced6500dcdc042763e0ef2762d377
   HEAD_REF master
   PATCHES
          fix-install-path.patch