diff --git a/.gitmodules b/.gitmodules
index c49ae2256b89a0ddcea03ccee5d5d7814cf00e2e..c53d26575b2fbf7b84368e1472cd23c7a6245ff7 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,8 @@
 [submodule "libraries/parser"]
 	path = libraries/parser
-	url = https://depot.lipn.univ-paris13.fr/PMC-SOG/pn-parser/tree/mc-sog-parser
+	url = https://depot.lipn.univ-paris13.fr/PMC-SOG/pn-parser.git
+[submodule "third-party/sylvan"]
+	path = third-party/sylvan
+	url = https://depot.lipn.univ-paris13.fr/PMC-SOG/sylvan.git
+	branch = Sylvan-SOG
+	
\ No newline at end of file