Merge pull request #639 from JuliaReach/schillic-patch-1

Update Project.toml
JuliaReach · Jun 18, 2022 · 3bc4d2b · 3bc4d2b
2 parents 7f37e76 + 32590e8
commit 3bc4d2b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Project.toml b/Project.toml
@@ -1,6 +1,6 @@
 name = "ReachabilityAnalysis"
 uuid = "1e97bd63-91d1-579d-8e8d-501d2b57c93f"
-version = "0.18.5"
+version = "0.18.6"
 
 [deps]
 CarlemanLinearization = "4803f6b2-022a-4c1b-a771-522a3413ec86"