From 8c50f3c68331e195c9a58f16590e28c377e1087d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Kevin=20L=C3=A4ufer?= <laeufer@cs.berkeley.edu>
Date: Mon, 18 Dec 2023 11:09:48 -0500
Subject: [PATCH] synth: upgrade patron to allow re-init

---
 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 8e17556..caa1810 100644
--- a/synth/Cargo.lock
+++ b/synth/Cargo.lock
@@ -216,9 +216,9 @@ checksum = "302d7ab3130588088d277783b1e2d2e10c9e9e4a16dd9050e6ec93fb3e7048f4"
 
 [[package]]
 name = "libpatron"
-version = "0.13.0"
+version = "0.13.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "e8120191c11cadc9243b3a6fedac289e6609392faedf6f16761a443115e8563a"
+checksum = "ac078d93da41767ad108650afcb6c789c978ac9321679ea90411e1c34910c72e"
 dependencies = [
  "codespan-reporting",
  "easy-smt",
diff --git a/synth/Cargo.toml b/synth/Cargo.toml
index 744f05d..fa3c021 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.13.0"
+libpatron = "0.13.1"
 memmap2 = "0.9.0"
 num-bigint = "0.4.4"
 num-traits = "0.2.17"