From a2ea93fdecc2082d872a09b229ac0bcd72bf7dab Mon Sep 17 00:00:00 2001
From: Davy Landman <davy.landman@swat.engineering>
Date: Mon, 22 Jul 2024 09:49:14 +0200
Subject: [PATCH] Using latest rascal-core

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

diff --git a/pom.xml b/pom.xml
index 70ffdc8..e750d0c 100644
--- a/pom.xml
+++ b/pom.xml
@@ -50,7 +50,7 @@
         <dependency>
             <groupId>org.rascalmpl</groupId>
             <artifactId>rascal-core</artifactId>
-            <version>0.12.2-BOOT1</version>
+            <version>0.12.3-BOOT1</version>
         </dependency>
         <dependency>
             <groupId>org.apache.maven</groupId>