From 8e374a2881261e112134851169e634c46ca35d0b Mon Sep 17 00:00:00 2001
From: thomaslavaur <thomas19.lavaur@gmail.com>
Date: Fri, 26 Jul 2024 08:03:22 +0200
Subject: [PATCH] and add the correct gitmodule file

---
 .gitmodules | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.gitmodules b/.gitmodules
index 6a3650c..e9845e6 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,3 @@
-[submodule "proof_of_leadership/circom/circomlib"]
-	path = proof_of_leadership/circom/circomlib
+[submodule "circomlib"]
+	path = circom_circuits/circomlib
 	url = https://github.com/iden3/circomlib.git