From 344efd5c8a362ff24a5cd4882555939c91b4cee3 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Mon, 10 Jun 2024 21:47:12 +0200 Subject: [PATCH] Update tests/cargo-kani/build-rs-plus-host-with-kani-proofs/constants/Cargo.toml Co-authored-by: Felipe R. Monteiro --- .../build-rs-plus-host-with-kani-proofs/constants/Cargo.toml | 1 - 1 file changed, 1 deletion(-) diff --git a/tests/cargo-kani/build-rs-plus-host-with-kani-proofs/constants/Cargo.toml b/tests/cargo-kani/build-rs-plus-host-with-kani-proofs/constants/Cargo.toml index 8769a5d47c83..cf2d84dcf946 100644 --- a/tests/cargo-kani/build-rs-plus-host-with-kani-proofs/constants/Cargo.toml +++ b/tests/cargo-kani/build-rs-plus-host-with-kani-proofs/constants/Cargo.toml @@ -5,6 +5,5 @@ name = "constants" version = "0.1.0" edition = "2021" -# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html [dependencies]