From 14ce78c1b34ede61bef90439e48dfaccd9f0461d Mon Sep 17 00:00:00 2001
From: "Jurgen J. Vinju" <Jurgen.Vinju@cwi.nl>
Date: Tue, 5 Nov 2024 19:46:24 +0100
Subject: [PATCH] bumped rascal to 0.40.16

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

diff --git a/pom.xml b/pom.xml
index 5e7b486..c068554 100644
--- a/pom.xml
+++ b/pom.xml
@@ -186,7 +186,7 @@
         <dependency>
         	<groupId>org.rascalmpl</groupId>
         	<artifactId>rascal</artifactId>
-            <version>0.40.15</version>
+            <version>0.40.16</version>
         </dependency>
     </dependencies>
 </project>