adds missing headers

viperproject · Oct 27, 2023 · b487054 · b487054
1 parent e728163
commit b487054
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git 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
@@ -1,3 +1,6 @@
+// Any copyright is dedicated to the Public Domain.
+// http://creativecommons.org/publicdomain/zero/1.0/
+
 package pkg
 
 type Calls interface {