day 24: fix z3 dep and update lock

anisse · Dec 25, 2023 · d84db79 · d84db79
1 parent 6e1cb93
commit d84db79
Show file tree

Hide file tree

Showing 3 changed files with 20 additions and 4 deletions.
diff --git a/.cargo/config.toml b/.cargo/config.toml
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -6,7 +6,7 @@ edition = "2021"
 
 [dependencies]
 itertools = "0.12.0"
-z3 = { version = "0.12.1", features = ["static-link-z3"] } # cannot find z3.h in fedora
+z3 = { version = "0.12.1", features = ["static-link-z3"] }# cannot find z3.h in fedora
 #z3 = "0.12.1"
 
 [features]