Update tests/cargo-kani/build-rs-plus-host-with-kani-proofs/constants…

…/Cargo.toml Co-authored-by: Felipe R. Monteiro <[email protected]>
tautschnig · Jun 10, 2024 · 344efd5 · 344efd5
1 parent f0330d6
commit 344efd5
Showing 1 changed file with 0 additions and 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
@@ -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]