From 8c2ec50ac680f75d9a599ddd26db36f49f9b49aa Mon Sep 17 00:00:00 2001 From: paulklint Date: Sat, 16 Sep 2023 19:28:15 +0200 Subject: [PATCH] Updated to rascal 0.33.8 --- pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pom.xml b/pom.xml index 3ed954f..f3ac0ab 100644 --- a/pom.xml +++ b/pom.xml @@ -165,7 +165,7 @@ org.rascalmpl rascal - 0.33.7 + 0.33.8