From a44631f3687597ccf9b2279f0b6ca71e19965fa2 Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Sun, 10 Apr 2022 23:31:02 +0200
Subject: [PATCH] update base pnml relast to version without marking

---
 gradle.properties | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gradle.properties b/gradle.properties
index 413f87f..c71e5b6 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
-- 
GitLab