From 3624655b2a4d71fa798a514f064e6abda533ad6d Mon Sep 17 00:00:00 2001
From: Qinheping Hu <qinhh@amazon.com>
Date: Wed, 11 Sep 2024 01:15:28 -0500
Subject: [PATCH] Add missing copyright

---
 kani-compiler/src/kani_middle/transform/loop_contracts.rs | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/kani-compiler/src/kani_middle/transform/loop_contracts.rs b/kani-compiler/src/kani_middle/transform/loop_contracts.rs
index dd8a1c8704a7..42aa0d82350a 100644
--- a/kani-compiler/src/kani_middle/transform/loop_contracts.rs
+++ b/kani-compiler/src/kani_middle/transform/loop_contracts.rs
@@ -1,3 +1,9 @@
+// Copyright Kani Contributors
+// SPDX-License-Identifier: Apache-2.0 OR MIT
+
+//! This module contains code related to the MIR-to-MIR pass to enable loop contracts.
+//!
+
 use crate::kani_middle::codegen_units::CodegenUnit;
 use crate::kani_middle::find_fn_def;
 use crate::kani_middle::transform::body::{MutableBody, SourceInstruction};