diff --git a/src/test/resources/regressions/issues/000695.gobra b/src/test/resources/regressions/issues/000695.gobra
index 4edad1b2a..f8832ac93 100644
--- a/src/test/resources/regressions/issues/000695.gobra
+++ b/src/test/resources/regressions/issues/000695.gobra
@@ -1,3 +1,6 @@
+// Any copyright is dedicated to the Public Domain.
+// http://creativecommons.org/publicdomain/zero/1.0/
+
 package issue000695
 
 type ChannelMsgType int