From 65692c194b7a0d2c56b47aafd51f29aa30330050 Mon Sep 17 00:00:00 2001
From: "Jurgen J. Vinju" <Jurgen.Vinju@cwi.nl>
Date: Wed, 20 Mar 2024 10:14:03 +0100
Subject: [PATCH] bumped typepal to 0.11.2

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

diff --git a/pom.xml b/pom.xml
index 10f96804..6dae8e71 100644
--- a/pom.xml
+++ b/pom.xml
@@ -204,7 +204,7 @@
         <dependency>
             <groupId>org.rascalmpl</groupId>
             <artifactId>typepal</artifactId>
-            <version>0.11.0</version>
+            <version>0.11.2</version>
         </dependency>
         <dependency>
         	<groupId>io.usethesource</groupId>