diff --git a/Cargo.lock b/Cargo.lock
index 7e397c8..a09aa0f 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -7463,9 +7463,9 @@ dependencies = [
 
 [[package]]
 name = "z3"
-version = "0.20.1"
+version = "0.20.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "89669e2ab7eb1bf5ec0621958479b4e3a11f14023358112dab3e21af410d8440"
+checksum = "80c4de445f5c9e3013703a6b8a40c80b4a64c925f0a19e7d0a23a7a9b70e854d"
 dependencies = [
  "log",
  "z3-sys",