Merge pull request #518 from JuliaReach/mforets-patch-1

Update Project.toml
JuliaReach · Jun 16, 2021 · 9110299 · 9110299
2 parents f5db5cc + 9a8ebe8
commit 9110299
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Project.toml b/Project.toml
@@ -1,7 +1,7 @@
 name = "ReachabilityAnalysis"
 uuid = "1e97bd63-91d1-579d-8e8d-501d2b57c93f"
 authors = ["mforets <[email protected]>", "schillic <[email protected]>", "dfcaporale <[email protected]>"]
-version = "0.14.14"
+version = "0.14.15"
 
 [deps]
 ExprTools = "e2ba6199-217a-4e67-a87a-7c52f15ade04"