From 6808fa1e7ae52d2d8ba3fd59b3ebc28c47a1cec5 Mon Sep 17 00:00:00 2001 From: Andy Jewell Date: Tue, 24 Sep 2024 14:39:37 -0700 Subject: [PATCH] chore: remove unused crates from Cargo.toml --- Source/DafnyRuntime/DafnyRuntimeRust/Cargo.toml | 2 -- 1 file changed, 2 deletions(-) diff --git a/Source/DafnyRuntime/DafnyRuntimeRust/Cargo.toml b/Source/DafnyRuntime/DafnyRuntimeRust/Cargo.toml index 3ddcbab7877..d5244c747a8 100644 --- 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" \ No newline at end of file