diff --git a/Project.toml b/Project.toml index 99c2939a..d7259c70 100644 --- a/Project.toml +++ b/Project.toml @@ -1,6 +1,6 @@ name = "POMDPs" uuid = "a93abf59-7444-517b-a68a-c42f96afdd7d" -version = "0.9.5" +version = "0.9.6" [deps] Distributions = "31c24e10-a181-5473-b8eb-7969acd0382f"