Update Project.toml

JuliaReach · Aug 31, 2020 · ea1b948 · ea1b948
1 parent 738a8e5
commit ea1b948
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Project.toml b/Project.toml
@@ -3,7 +3,7 @@ uuid = "1e97bd63-91d1-579d-8e8d-501d2b57c93f"
 authors = ["mforets <mforets@gmail.com>",
            "schillic <christian.schilling@ist.ac.at>",
            "dfcaporale <dfcaporale@gmail.com>"]
-version = "0.7.7"
+version = "0.8.0"
 
 [deps]
 HybridSystems = "2207ec0c-686c-5054-b4d2-543502888820"