transitions update

[mc1516pa.git] / .gitmodules

diff --git a/.gitmodules b/.gitmodules
index ef5881a..e398ab4 100644 (file)
--- 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