diff --git a/.gitmodules b/.gitmodules
index c53d26575b2fbf7b84368e1472cd23c7a6245ff7..c6ea1d0f7949d664fa83e2d283ec4a61df71e7d3 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,6 +1,7 @@
 [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