Remove original MLKEM repo as old submodule and add own fork as submo…

…dule instead
sandbox-quantum · Jan 9, 2025 · 8cb63a5 · 8cb63a5
1 parent 113630e
commit 8cb63a5
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "formosa-mlkem"]
 	path = formosa-mlkem
-	url = https://github.com/formosa-crypto/formosa-mlkem
+	url = https://github.com/MM45/formosa-mlkem
diff --git a/proofs/FO_KEM.eca b/proofs/FO_KEM.eca
@@ -3,7 +3,6 @@ require KeyEncapsulationMechanisms PublicKeyEncryption.
 require PublicKeyEncryptionROM.
 
 
-
 (* Types *)
 (** Public keys (asymmetric) **)
 type pk_t.