From e92c1669b505483b7cfeffe71769266349432313 Mon Sep 17 00:00:00 2001
From: "Jurgen J. Vinju" <Jurgen.Vinju@cwi.nl>
Date: Thu, 17 Oct 2024 11:11:36 +0200
Subject: [PATCH] bumped rascal to 0.40.7

---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 4b2bbd8f7..d46348c70 100644
--- a/pom.xml
+++ b/pom.xml
@@ -25,7 +25,7 @@
         <project.reporting.outputEncoding>UTF-8</project.reporting.outputEncoding>
 
         <rascal-maven-plugin.version>0.24.0</rascal-maven-plugin.version>
-        <rascal.version>0.34.0</rascal.version>
+        <rascal.version>0.40.7</rascal.version>
         <rascal-tutor.version>0.18.4</rascal-tutor.version>
         <clair.version>0.12.0</clair.version>
         <rascal-git.version>0.1.14</rascal-git.version>