From 6f5568dfd8d42dc236f1524603e0ad8442ca8609 Mon Sep 17 00:00:00 2001
From: "Jurgen J. Vinju" <Jurgen.Vinju@cwi.nl>
Date: Fri, 22 Sep 2023 10:18:00 +0200
Subject: [PATCH] bumped to rascal-maven-plugin 0.21.2 due to a tutor bug that
 was triggered here

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

diff --git a/pom.xml b/pom.xml
index c4f1153..60c2902 100644
--- a/pom.xml
+++ b/pom.xml
@@ -136,7 +136,7 @@
     <plugin>
         <groupId>org.rascalmpl</groupId>
         <artifactId>rascal-maven-plugin</artifactId>
-        <version>0.21.1</version>
+        <version>0.21.2</version>
         <configuration>
           <errorsAsWarnings>true</errorsAsWarnings>
           <enableStandardLibrary>false</enableStandardLibrary>