From b23eea945ac75dbe8ebeff22b1c8ae75b61f5871 Mon Sep 17 00:00:00 2001
From: Chiheb Ameur Abid <chiheb.abid@gmail.com>
Date: Wed, 24 Apr 2019 23:27:32 +0200
Subject: [PATCH] Update .gitmodules

---
 .gitmodules | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.gitmodules b/.gitmodules
index c6ea1d0..c53d265 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,7 +1,6 @@
 [submodule "libraries/parser"]
 	path = libraries/parser
 	url = https://depot.lipn.univ-paris13.fr/PMC-SOG/pn-parser.git
-	branch=master
 [submodule "third-party/sylvan"]
 	path = third-party/sylvan
 	url = https://depot.lipn.univ-paris13.fr/PMC-SOG/sylvan.git
-- 
GitLab