From 5ba6fe08c1bf8f5a62f30598d364c8adbb8bafb3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Kevin=20L=C3=A4ufer?= <laeufer@cs.berkeley.edu>
Date: Tue, 12 Dec 2023 20:10:57 -0500
Subject: [PATCH] upgrade patron

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

diff --git a/synth/Cargo.lock b/synth/Cargo.lock
index eb45add..3288ac1 100644
--- a/synth/Cargo.lock
+++ b/synth/Cargo.lock
@@ -216,9 +216,9 @@ checksum = "302d7ab3130588088d277783b1e2d2e10c9e9e4a16dd9050e6ec93fb3e7048f4"
 
 [[package]]
 name = "libpatron"
-version = "0.8.1"
+version = "0.8.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "f588a866e0c4d251c65266aefdd090ed493877d40b21197174202196050252e0"
+checksum = "9410aa98029a09c45dc024a925c12565d360cf04aa1e94fe1e1ce72276d2d01e"
 dependencies = [
  "codespan-reporting",
  "easy-smt",
diff --git a/synth/Cargo.toml b/synth/Cargo.toml
index 79a8dcb..df62989 100644
--- a/synth/Cargo.toml
+++ b/synth/Cargo.toml
@@ -8,7 +8,7 @@ edition = "2021"
 [dependencies]
 clap =  { version = "4.4.11", features = ["derive"] }
 easy-smt = "0.2.1"
-libpatron = "0.8.1"
+libpatron = "0.8.2"
 memmap2 = "0.9.0"
 num-bigint = "0.4.4"
 num-traits = "0.2.17"