diff --git a/Project.toml b/Project.toml index e0352b56..07096a3e 100644 --- a/Project.toml +++ b/Project.toml @@ -1,7 +1,7 @@ name = "GraphPPL" uuid = "b3f8163a-e979-4e85-b43e-1f63d8c8b42c" authors = ["Wouter Nuijten ", "Dmitry Bagaev "] -version = "4.0.0" +version = "4.0.1" [deps] BitSetTuples = "0f2f92aa-23a3-4d05-b791-88071d064721"