synth: upgrade patron to allow re-init

ekiwi · Dec 18, 2023 · 8c50f3c · 8c50f3c
1 parent c0d0b2c
commit 8c50f3c
Show file tree

Hide file tree

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