bumped rascal-maven-plugin

usethesource · Oct 13, 2023 · 181e7a4 · 181e7a4
1 parent 8c2ec50
commit 181e7a4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -59,7 +59,7 @@
             <plugin>
                 <groupId>org.rascalmpl</groupId>
                 <artifactId>rascal-maven-plugin</artifactId>
-                <version>0.20.4</version>
+                <version>0.21.0</version>
                 <configuration>
                     <bin>${project.build.outputDirectory}</bin>
                     <srcs>