Remove clap.

sybila · Nov 28, 2024 · 9988ac6 · 9988ac6
1 parent 8b40c42
commit 9988ac6
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/Cargo.toml b/Cargo.toml
@@ -30,7 +30,6 @@ num-bigint = "0.4.6"
 num-traits = "0.2.19"
 either = "1.13.0"
 itertools = "0.13.0"
-clap = "4.5.21"
 
 # Include Z3 dependencies as strictly as possible, we don't want
 # this to change because it might break our release builds.