From 24be8a15d5b3b480df38dfb7bb9d30ad708844a9 Mon Sep 17 00:00:00 2001
From: "Jurgen J. Vinju" <Jurgen.Vinju@cwi.nl>
Date: Fri, 15 Mar 2024 14:05:24 +0100
Subject: [PATCH] new core version 0.25.4-BOOT1

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

diff --git a/pom.xml b/pom.xml
index b49361f0653..95dd00de294 100644
--- a/pom.xml
+++ b/pom.xml
@@ -32,7 +32,7 @@
         <exec.mainClass>org.rascalmpl.shell.RascalShell</exec.mainClass>
         <rascal.test.memory>2</rascal.test.memory>
         <maven.compiler.release>11</maven.compiler.release>
-        <rascal-maven.version>0.25.3-BOOT1</rascal-maven.version>
+        <rascal-maven.version>0.25.4-BOOT1</rascal-maven.version>
     </properties>