diff --git a/Project.toml b/Project.toml
index c03084058..427232bd1 100644
--- a/Project.toml
+++ b/Project.toml
@@ -1,6 +1,6 @@
 name = "DynamicPPL"
 uuid = "366bfd00-2699-11ea-058f-f148b4cae6d8"
-version = "0.25.0"
+version = "0.25.1"
 
 
 [deps]