From a8fbedc0cd921d3efe206509444f97185b1a921f Mon Sep 17 00:00:00 2001
From: Felipe Lisboa <lisboafelipe5@gmail.com>
Date: Tue, 13 Feb 2024 16:29:45 +0100
Subject: [PATCH] Correction on sub-module url

---
 .gitmodules | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitmodules b/.gitmodules
index 56e6bd4..1f94983 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -6,4 +6,4 @@
 	url = git@gitlab.enst.fr:sdram20/mcsimcoq.git
 [submodule "silveroak"]
 	path = silveroak
-	url = git@gitlab.enst.fr:sdram/silveroak_dram.git
+	url = git@gitlab.enst.fr:sdram20/silveroak_dram.git
-- 
GitLab