From cbbc140f6455b0fee14e1dee8dd0ba37d027afd8 Mon Sep 17 00:00:00 2001
From: Bryan Parno <parno@cmu.edu>
Date: Wed, 26 Jul 2023 12:45:19 -0400
Subject: [PATCH] Update smt2utils crate hash to pull in a fix that prints the
 new warning to stderr instead of stdout.

---
 source/Cargo.lock     | 4 ++--
 source/air/Cargo.toml | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

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"