fix copyrights

model-checking · Sep 3, 2024 · 6628cf1 · 6628cf1
1 parent 09c578f
commit 6628cf1
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/papers/vstte2024/paper.bib b/papers/vstte2024/paper.bib
@@ -1,5 +1,5 @@
-# Copyright Kani Contributors
-# SPDX-License-Identifier: Apache-2.0 OR MIT
+% Copyright Kani Contributors
+% SPDX-License-Identifier: Apache-2.0 OR MIT
 
 \begin{paper}{8}
 @inproceedings{verus-sys,

diff --git a/papers/vstte2024/paper.tex b/papers/vstte2024/paper.tex
@@ -1,5 +1,5 @@
-# Copyright Kani Contributors
-# SPDX-License-Identifier: Apache-2.0 OR MIT
+% Copyright Kani Contributors
+% SPDX-License-Identifier: Apache-2.0 OR MIT
 
 \documentclass[runningheads]{llncs}
 %