From c9e2c4dca5a2ebe9f34c2f8ca613024b11ef4148 Mon Sep 17 00:00:00 2001
From: Marcelo Forets <mforets@gmail.com>
Date: Thu, 25 Jun 2020 12:01:19 -0300
Subject: [PATCH] Update Project.toml

---
 Project.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Project.toml b/Project.toml
index 89fcd31e1f..960ef35c66 100644
--- a/Project.toml
+++ b/Project.toml
@@ -1,7 +1,7 @@
 name = "ReachabilityAnalysis"
 uuid = "1e97bd63-91d1-579d-8e8d-501d2b57c93f"
 authors = ["mforets <mforets@gmail.com>", "schillic <christian.schilling@ist.ac.at>"]
-version = "0.7.2"
+version = "0.7.3"
 
 [deps]
 HybridSystems = "2207ec0c-686c-5054-b4d2-543502888820"