From 5d0bb800652d5ed29d570d348ab55a12b2b1e517 Mon Sep 17 00:00:00 2001
From: Tobias Meggendorfer <tobias@meggendorfer.de>
Date: Thu, 6 Jun 2024 10:27:11 +0200
Subject: [PATCH] licence

---
 doc/benchexec-in-container.md | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/doc/benchexec-in-container.md b/doc/benchexec-in-container.md
index fce4c9ee4..9603163f1 100644
--- a/doc/benchexec-in-container.md
+++ b/doc/benchexec-in-container.md
@@ -1,3 +1,12 @@
+<!--
+This file is part of BenchExec, a framework for reliable benchmarking:
+https://github.com/sosy-lab/benchexec
+
+SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
+
+SPDX-License-Identifier: Apache-2.0
+-->
+
 # BenchExec: Containerized Environments
 
 This document explains the complications of using BenchExec inside