bumped to rascal-maven-plugin 0.21.2 due to a tutor bug that was trig…

…gered here
cwi-swat · Sep 22, 2023 · 6f5568d · 6f5568d
1 parent 769c052
commit 6f5568d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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>