diff --git a/Project.toml b/Project.toml
index 28c4307..44fdbee 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.1.2"
+version = "0.1.3"
 
 [deps]
 Combinatorics = "861a8166-3701-5b0c-9a16-15d98fcdc6aa"