From 4907a2c70298fda77c6e641efd363c807849701f Mon Sep 17 00:00:00 2001
From: thomaslavaur <thomas19.lavaur@gmail.com>
Date: Tue, 23 Jul 2024 15:40:14 +0200
Subject: [PATCH] update submodule name

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

diff --git a/.gitmodules b/.gitmodules
index 47bf4b8..a3bfbb7 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,3 @@
-[submodule "Proof of Leadership/circomlib"]
+[submodule "proof_of_leadership/circomlib"]
 	path = proof_of_leadership/circomlib
 	url = https://github.com/iden3/circomlib.git