From 33212b6ed6af82060f89670c442905fba333f381 Mon Sep 17 00:00:00 2001 From: Rodin Aarssen Date: Thu, 7 Nov 2024 12:38:37 +0100 Subject: [PATCH] Updating to latest rascal and rascal-maven-plugin --- pom.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pom.xml b/pom.xml index 58f3e00..50b91ae 100644 --- a/pom.xml +++ b/pom.xml @@ -63,7 +63,7 @@ org.rascalmpl rascal-maven-plugin - 0.28.8 + 0.28.9 ${project.build.outputDirectory} @@ -146,7 +146,7 @@ org.rascalmpl rascal - 0.40.14 + 0.40.17