bumped rascal to 0.40.16

usethesource · Nov 5, 2024 · 59bdddd · 59bdddd
1 parent 7a39a77
commit 59bdddd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -243,7 +243,7 @@
         <dependency>
         	<groupId>org.rascalmpl</groupId>
         	<artifactId>rascal</artifactId>
-            <version>0.40.15</version>
+            <version>0.40.16</version>
         </dependency>
     </dependencies>
 </project>