From 714cd20c3dd92a24e2d090612e5dfd3e39e290f4 Mon Sep 17 00:00:00 2001
From: Zyad Hassan <zyadh@amazon.com>
Date: Wed, 31 Jul 2024 13:20:26 -0700
Subject: [PATCH] copyright

---
 tests/cargo-kani/iss2857/Cargo.toml | 2 ++
 1 file changed, 2 insertions(+)

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"