diff --git a/Cargo.lock b/Cargo.lock
index 4c052bd..30c5fc5 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -798,9 +798,9 @@ dependencies = [
 
 [[package]]
 name = "z3"
-version = "0.20.0"
+version = "0.20.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "c9fc44c9d6bb9fe84c03dfff211cf4c9c8cfefa2de8b803facf7305067d21a23"
+checksum = "89669e2ab7eb1bf5ec0621958479b4e3a11f14023358112dab3e21af410d8440"
 dependencies = [
  "log",
  "z3-sys",