From 44a1f43ec25d62e62a7a68d75b3e311f0bfba959 Mon Sep 17 00:00:00 2001 From: Davy Landman Date: Fri, 19 Jul 2024 17:41:33 +0200 Subject: [PATCH] Rascal-core needs a new version of typepal --- pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pom.xml b/pom.xml index a6c577c..90fb209 100644 --- a/pom.xml +++ b/pom.xml @@ -45,7 +45,7 @@ org.rascalmpl typepal - 0.13.3 + 0.13.4-BOOT1 org.rascalmpl