Add SPDX licence header

Signed-off-by: Rod Chapman <[email protected]>
pq-code-package · Oct 17, 2024 · ff8a577 · ff8a577
1 parent dffe1c4
commit ff8a577
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/cbmc/proofs/proof_guide.md b/cbmc/proofs/proof_guide.md
@@ -1,3 +1,5 @@
+[//]: # (SPDX-License-Identifier: CC-BY-4.0)
+
 # CBMC Proof Guide and Cookbook for MLKEM-C
 
 This doc acts as a guide to developing proofs of C code using CBMC. It concentrates
@@ -387,5 +389,3 @@ yields
 | poly_tobytes | Success |
 
 ```
-
-