From 764561e83b2b635763774f3191ff77391cbb590a Mon Sep 17 00:00:00 2001 From: Davy Landman Date: Fri, 5 Jul 2024 07:22:01 +0200 Subject: [PATCH] Also use latest rascal for the bugfix --- pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pom.xml b/pom.xml index 7e816595..777d7296 100644 --- a/pom.xml +++ b/pom.xml @@ -239,7 +239,7 @@ org.rascalmpl rascal - 0.40.3 + 0.40.4