diff --git a/Project.toml b/Project.toml index 2befb7a..ecb651d 100644 --- a/Project.toml +++ b/Project.toml @@ -1,7 +1,7 @@ name = "SwitchOnSafety" uuid = "ceb7f16a-07bf-5f4a-9354-b68f01b1610f" repo = "https://github.com/blegat/SwitchOnSafety.jl.git" -version = "0.2.1" +version = "0.2.2" [deps] Combinatorics = "861a8166-3701-5b0c-9a16-15d98fcdc6aa"