Update Project.toml (#745)

JuliaReach · Feb 22, 2020 · 4eeb72b · 4eeb72b
1 parent 682508c
commit 4eeb72b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Project.toml b/Project.toml
@@ -1,6 +1,6 @@
 name = "Reachability"
 uuid = "774a0091-654f-5c65-bbdc-ad5b67b45832"
-version = "0.6.1"
+version = "0.7.0"
 
 [deps]
 Expokit = "a1e7a1ef-7a5d-5822-a38c-be74e1bb89f4"