X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=.gitmodules;h=e398ab421fd91304bff1e512be6d87d175eac416;hb=d0ee02a16e9266da088b78ab8d2982f1c215fa1b;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