From 93267ae792dbf97f8ba6005901d64dce4eb0816d Mon Sep 17 00:00:00 2001
From: "Jurgen J. Vinju" <Jurgen.Vinju@cwi.nl>
Date: Mon, 28 Oct 2024 19:48:02 +0100
Subject: [PATCH] bumped rascal to 0.40.14 and maven plugin to 0.28.8

---
 pom.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pom.xml b/pom.xml
index 71bea732b..81443c3bd 100644
--- a/pom.xml
+++ b/pom.xml
@@ -24,8 +24,8 @@
         <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
         <project.reporting.outputEncoding>UTF-8</project.reporting.outputEncoding>
 
-        <rascal-maven-plugin.version>0.28.5</rascal-maven-plugin.version>
-        <rascal.version>0.40.12</rascal.version>
+        <rascal-maven-plugin.version>0.28.8</rascal-maven-plugin.version>
+        <rascal.version>0.40.14</rascal.version>
         <rascal-tutor.version>0.19.7</rascal-tutor.version>
         <clair.version>0.12.0</clair.version>
         <rascal-git.version>0.1.14</rascal-git.version>