Update Project.toml

JuliaReach · Oct 18, 2021 · d4fecc3 · d4fecc3
1 parent 3c3d4a6
commit d4fecc3
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 = ["Marcelo Forets <[email protected]>", "Christian Schilling <[email protected]>", "Daniel Freire Caporale <[email protected]>"]
-version = "0.15.2"
+version = "0.15.3"
 
 [deps]
 CommonSolve = "38540f10-b2f7-11e9-35d8-d573e4eb0ff2"