Add SPDX licence header

rod-chapman · rod-chapman · commit 43c426d1d522 · 2024-10-18T15:40:46.000+01:00
Signed-off-by: Rod Chapman &lt;rodchap@amazon.com&gt;
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 |
 
 ```
-
-
