Update smt2utils crate hash to pull in a fix that prints the new warning

to stderr instead of stdout.
verus-lang · Jul 26, 2023 · cbbc140 · cbbc140
1 parent 94dee63
commit cbbc140
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/source/Cargo.lock b/source/Cargo.lock
diff --git 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"