Use RecordFlux parser from PyPI

Closes #745
AdaCore · Oct 5, 2021 · 10bf54d · 10bf54d
1 parent 23ab597
commit 10bf54d
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/setup.py b/setup.py
@@ -48,8 +48,7 @@
         "icontract >=2.3.4, <3",
         "pydotplus >=2, <3",
         "z3-solver >=4, <5",
-        "RecordFlux-language@git+https://github.com/Componolit/RecordFlux-language.git"
-        "@v0.8.0#egg=RecordFlux-language",
+        "RecordFlux-parser ==0.8.1",
     ],
     extras_require={
         "devel": [