Remove spurious cargo-creusot dependency on why3 (#1378)

creusot-rs · Feb 24, 2025 · 8de2265 · 8de2265
2 parents 79b5e3e + 09951f5
commit 8de2265
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/cargo-creusot/Cargo.toml b/cargo-creusot/Cargo.toml
@@ -12,7 +12,6 @@ serde_json = "1.0"
 toml = "0.8"
 env_logger = "0.11"
 serde = { version = "1.0", features = ["derive"] }
-why3 = { path = "../why3", features = ["serialize"] }
 creusot-args = {path = "../creusot-args"}
 creusot-setup = {path = "../creusot-setup"}
 anyhow = "1.0"