From 8cb63a5f6c0fe9a841dc3078dc73da1915c9130e Mon Sep 17 00:00:00 2001
From: Matthias Meijers <research@mmeijers.com>
Date: Thu, 9 Jan 2025 12:06:11 +0100
Subject: [PATCH] Remove original MLKEM repo as old submodule and add own fork
 as submodule instead

---
 .gitmodules       | 2 +-
 proofs/FO_KEM.eca | 1 -
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/.gitmodules b/.gitmodules
index 12aa667..5ce844d 100644
--- 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
index c6bf74b..90c8987 100644
--- 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.