From 7c5e7d78ed2c24e7e17a61b746aa3a1c96b2ebd0 Mon Sep 17 00:00:00 2001 From: Rodin Aarssen Date: Thu, 7 Nov 2024 12:12:49 +0100 Subject: [PATCH] Updated 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 5ed60e7..09cb8cc 100644 --- a/pom.xml +++ b/pom.xml @@ -32,7 +32,7 @@ org.rascalmpl rascal - 0.40.14 + 0.40.17 @@ -71,7 +71,7 @@ org.rascalmpl rascal-maven-plugin - 0.28.8 + 0.28.9 false ${project.build.outputDirectory}