chore: remove unused crates from Cargo.toml

dafny-lang · Sep 24, 2024 · 6808fa1 · 6808fa1
1 parent 7b1e402
commit 6808fa1
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/Source/DafnyRuntime/DafnyRuntimeRust/Cargo.toml b/Source/DafnyRuntime/DafnyRuntimeRust/Cargo.toml
@@ -5,7 +5,5 @@ edition = "2021"
 
 [dependencies]
 once_cell = "1.18.0"
-paste = "1.0"
 num = "0.4"
 itertools = "0.11.0"
-as-any = "0.3.1"