diff --git a/tests/cargo-kani/iss2857/Cargo.toml b/tests/cargo-kani/iss2857/Cargo.toml
index 7984f9a243e8..9f2a72342c19 100644
--- a/tests/cargo-kani/iss2857/Cargo.toml
+++ b/tests/cargo-kani/iss2857/Cargo.toml
@@ -1,3 +1,5 @@
+# Copyright Kani Contributors
+# SPDX-License-Identifier: Apache-2.0 OR MIT
 [package]
 name = "iss2857"
 version = "0.1.0"