diff --git a/Project.toml b/Project.toml index cd4d6ee3..6955379c 100644 --- a/Project.toml +++ b/Project.toml @@ -1,6 +1,6 @@ name = "POMDPs" uuid = "a93abf59-7444-517b-a68a-c42f96afdd7d" -version = "0.9.3" +version = "0.9.4" [deps] Distributions = "31c24e10-a181-5473-b8eb-7969acd0382f"