diff --git a/.gitmodules b/.gitmodules
index 15ef627..e941ab9 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "lib/coq-qfbv"]
 	path = lib/coq-qfbv
-	url = git@github.com:fmlab-iis/coq-qfbv.git
+	url = https://github.com/fmlab-iis/coq-qfbv.git