Remove now-unused dependency on itertools

verus-lang · Apr 10, 2024 · c2e81dd · c2e81dd
1 parent 38fc38e
commit c2e81dd
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 17 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -22,7 +22,6 @@ exclude = [
 clap = { version = "4.3.11", features = ["derive"] }
 fs-err = "2.9.0"
 insta = "1.30.0"
-itertools = "0.11.0"
 miette = { version = "5.10.0", features = ["fancy"] }
 pest = "2.0"
 pest_derive = "2.0"