added sylvan

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

diff --git a/modelchecker/.gitignore b/modelchecker/.gitignore
index 6f3c928..87e54c2 100644 (file)
--- a/modelchecker/.gitignore
+++ b/modelchecker/.gitignore
@@ -1,3 +1,2 @@
 main
-sylvan
 *.o

diff --git a/modelchecker/sylvan b/modelchecker/sylvan
new file mode 160000 (submodule)
index 0000000..f3f771f
--- /dev/null
+++ b/modelchecker/sylvan
@@ -0,0 +1 @@
+Subproject commit f3f771fcdd4768e2c6e71404b23f791a5fde6b06