From b4870548ebee0f532425ebfdd31c173926248f4b Mon Sep 17 00:00:00 2001
From: Linard Arquint <linard.arquint@inf.ethz.ch>
Date: Fri, 27 Oct 2023 15:18:58 -0700
Subject: [PATCH] adds missing headers

---
 src/test/resources/regressions/issues/000697.gobra         | 3 +++
 src/test/resources/regressions/issues/000697/pkg/pkg.gobra | 3 +++
 2 files changed, 6 insertions(+)

diff --git a/src/test/resources/regressions/issues/000697.gobra b/src/test/resources/regressions/issues/000697.gobra
index 529a9dfe3..51528815f 100644
--- a/src/test/resources/regressions/issues/000697.gobra
+++ b/src/test/resources/regressions/issues/000697.gobra
@@ -1,3 +1,6 @@
+// Any copyright is dedicated to the Public Domain.
+// http://creativecommons.org/publicdomain/zero/1.0/
+
 package issue000697
 
 // ##(-I ./000697/)
diff --git a/src/test/resources/regressions/issues/000697/pkg/pkg.gobra b/src/test/resources/regressions/issues/000697/pkg/pkg.gobra
index 74a504b36..aea827382 100644
--- a/src/test/resources/regressions/issues/000697/pkg/pkg.gobra
+++ b/src/test/resources/regressions/issues/000697/pkg/pkg.gobra
@@ -1,3 +1,6 @@
+// Any copyright is dedicated to the Public Domain.
+// http://creativecommons.org/publicdomain/zero/1.0/
+
 package pkg
 
 type Calls interface {