X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=.gitmodules;h=e398ab421fd91304bff1e512be6d87d175eac416;hb=3350e67ad7c96bf9b821c0d691a58eb141a13e17;hp=ef5881af0c4756f4f6dd2671247acc64decf3fb8;hpb=7b58c6ef6de2382ed29f3e618d94b07a4b4f5791;p=mc1516pa.git

diff --git a/.gitmodules b/.gitmodules
index ef5881a..e398ab4 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "modelchecker/sylvan"]
 	path = modelchecker/sylvan
-	url = git@github.com:utwente-fmt/sylvan.git
+	url = https://github.com/utwente-fmt/sylvan