Add missing copyright

model-checking · Sep 11, 2024 · 3624655 · 3624655
1 parent 0b05968
commit 3624655
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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};