diff --git a/source/Cargo.lock b/source/Cargo.lock
index c13c164086..6648ee521f 100644
--- a/source/Cargo.lock
+++ b/source/Cargo.lock
@@ -1447,7 +1447,7 @@ checksum = "62bb4feee49fdd9f707ef802e22365a35de4b7b299de4763d44bfea899442ff9"
 [[package]]
 name = "smt2parser"
 version = "0.6.1"
-source = "git+https://github.com/verus-lang/smt2utils.git?rev=0ff31464e5f57bb102797bf13bedd1cd9dba914e#0ff31464e5f57bb102797bf13bedd1cd9dba914e"
+source = "git+https://github.com/verus-lang/smt2utils.git?rev=f58678dad0bd7fbd28f105c48f49ce0fadd047e2#f58678dad0bd7fbd28f105c48f49ce0fadd047e2"
 dependencies = [
  "fst",
  "itertools",
@@ -2133,7 +2133,7 @@ checksum = "09041cd90cf85f7f8b2df60c646f853b7f535ce68f85244eb6731cf89fa498ec"
 [[package]]
 name = "z3tracer"
 version = "0.11.2"
-source = "git+https://github.com/verus-lang/smt2utils.git?rev=0ff31464e5f57bb102797bf13bedd1cd9dba914e#0ff31464e5f57bb102797bf13bedd1cd9dba914e"
+source = "git+https://github.com/verus-lang/smt2utils.git?rev=f58678dad0bd7fbd28f105c48f49ce0fadd047e2#f58678dad0bd7fbd28f105c48f49ce0fadd047e2"
 dependencies = [
  "indicatif",
  "once_cell",
diff --git a/source/air/Cargo.toml b/source/air/Cargo.toml
index cac3e7dc37..79daaeee75 100644
--- a/source/air/Cargo.toml
+++ b/source/air/Cargo.toml
@@ -9,7 +9,7 @@ edition = "2018"
 [dependencies]
 sise = "0.6.0"
 getopts = { git = "https://github.com/utaal/getopts.git", branch = "parse-partial" }
-z3tracer = { git = "https://github.com/verus-lang/smt2utils.git", rev = "0ff31464e5f57bb102797bf13bedd1cd9dba914e" }
+z3tracer = { git = "https://github.com/verus-lang/smt2utils.git", rev = "f58678dad0bd7fbd28f105c48f49ce0fadd047e2" }
 serde = { version = "1", features = ["derive", "rc"] }
 indexmap = { version = "1" }
 yansi = "0.5"