From 2efb1c0eecc73f0df8c26accc9868aed383d5a8f Mon Sep 17 00:00:00 2001
From: "Jurgen J. Vinju" <Jurgen.Vinju@cwi.nl>
Date: Fri, 1 Sep 2023 15:58:21 +0200
Subject: [PATCH] bumped rascal and rascal-maven-plugin

---
 .project | 4 ++--
 pom.xml  | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/.project b/.project
index 94056b9..4f58c9b 100644
--- a/.project
+++ b/.project
@@ -45,12 +45,12 @@
 	</natures>
 	<filteredResources>
 		<filter>
-			<id>1611230012359</id>
+			<id>1692963264024</id>
 			<name></name>
 			<type>30</type>
 			<matcher>
 				<id>org.eclipse.core.resources.regexFilterMatcher</id>
-				<arguments>node_modules|.git|__CREATED_BY_JAVA_LANGUAGE_SERVER__</arguments>
+				<arguments>node_modules|\.git|__CREATED_BY_JAVA_LANGUAGE_SERVER__</arguments>
 			</matcher>
 		</filter>
 	</filteredResources>
diff --git a/pom.xml b/pom.xml
index 736e46a..1f08c2e 100644
--- a/pom.xml
+++ b/pom.xml
@@ -59,7 +59,7 @@
             <plugin>
                 <groupId>org.rascalmpl</groupId>
                 <artifactId>rascal-maven-plugin</artifactId>
-                <version>0.19.13</version>
+                <version>0.20.2</version>
                 <configuration>
                     <bin>${project.build.outputDirectory}</bin>
                     <srcs>
@@ -165,7 +165,7 @@
         <dependency>
         	<groupId>org.rascalmpl</groupId>
         	<artifactId>rascal</artifactId>
-        	<version>0.33.6-RC2</version>
+        	<version>0.33.7</version>
         </dependency>
     </dependencies>
 </project>