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