diff --git a/proof_of_leadership/circom/circomlib b/proof_of_leadership/circom/circomlib
deleted file mode 160000
index cff5ab6..0000000
--- a/proof_of_leadership/circom/circomlib
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit cff5ab6288b55ef23602221694a6a38a0239dcc0