chore: remove unused crates from Cargo.toml (#5791)

### Description remove unused crates from Cargo.toml ### How has this been tested? If it compiles, that's test enough. <small>By submitting this pull request, I confirm that my contribution is made under the terms of the [MIT license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>
dafny-lang · Sep 24, 2024 · 2036e20 · 2036e20
1 parent 7b1e402
commit 2036e20
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"