diff --git a/gradle.properties b/gradle.properties
index 413f87f95a765984946a5326be59deb6179e682e..c71e5b67c2b8f5607e5d0514903324317ba1d626 100644
--- a/gradle.properties
+++ b/gradle.properties
@@ -1,3 +1,3 @@
 relast_version = 0.3.0-137
 jastaddgradle_version = 1.14.5
-pnml_relast_version = 0.3.1-4
\ No newline at end of file
+pnml_relast_version = 0.4.0-5
\ No newline at end of file