From 3872afed80fbe4a9b1ef5c3e09ba9772bdf7b4f7 Mon Sep 17 00:00:00 2001 From: paulklint Date: Tue, 10 Dec 2024 20:38:26 +0100 Subject: [PATCH] Updated POM --- pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pom.xml b/pom.xml index 0372765..ade3a53 100644 --- a/pom.xml +++ b/pom.xml @@ -186,7 +186,7 @@ org.rascalmpl rascal - 0.40.17 + 0.40.18-SNAPSHOT