Update Project.toml (#1437)

JuliaReach · Jun 13, 2019 · a5545ae · a5545ae
1 parent 9dd9cc9
commit a5545ae
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Project.toml b/Project.toml
@@ -1,6 +1,6 @@
 name = "LazySets"
 uuid = "b4f0291d-fe17-52bc-9479-3d1a343d9043"
-version = "1.12.0"
+version = "1.13.0"
 
 [deps]
 Distributed = "8ba89e20-285c-5b6f-9357-94700520ee1b"