synth: use published version of patron

ekiwi · Jan 16, 2024 · 95b9351 · 95b9351
1 parent 0dd08b4
commit 95b9351
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 5 deletions.
diff --git a/.gitmodules b/.gitmodules
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 = { path = "patron" }
+libpatron = "0.16.0"
 memmap2 = "0.9.0"
 num-bigint = "0.4.4"
 num-traits = "0.2.17"

diff --git a/synth/patron b/synth/patron