From 0fb97445c0032ce44d3ddc76c0a43f988737345c Mon Sep 17 00:00:00 2001
From: Chiheb Ameur Abid <chiheb.abid@gmail.com>
Date: Tue, 23 Apr 2019 14:27:51 +0200
Subject: [PATCH] Update .gitmodules

---
 .gitmodules | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.gitmodules b/.gitmodules
index c49ae22..78d1470 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
+[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
-- 
GitLab