From 77cbec59e66ebd2aef3d55f7ee158ea139308b03 Mon Sep 17 00:00:00 2001
From: paulklint <Paul.Klint@cwi.nl>
Date: Sat, 7 Oct 2023 15:38:19 +0200
Subject: [PATCH] project & pom

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

diff --git a/.project b/.project
index fe3e52cc..f6c6738c 100644
--- a/.project
+++ b/.project
@@ -45,7 +45,7 @@
 	</natures>
 	<filteredResources>
 		<filter>
-			<id>1687702440677</id>
+			<id>1694901159254</id>
 			<name></name>
 			<type>30</type>
 			<matcher>
diff --git a/pom.xml b/pom.xml
index 021b8f7e..42e59da3 100644
--- a/pom.xml
+++ b/pom.xml
@@ -208,12 +208,12 @@
         <dependency>
             <groupId>org.rascalmpl</groupId>
             <artifactId>typepal</artifactId>
-            <version>0.8.5</version>
+            <version>0.9.0-SNAPSHOT</version>
         </dependency>
         <dependency>
         	<groupId>io.usethesource</groupId>
         	<artifactId>vallang</artifactId>
-        	<version>0.15.0</version>
+        	<version>0.15.1</version>
         </dependency>
         <dependency>
             <groupId>org.junit.jupiter</groupId>
@@ -223,7 +223,7 @@
         <dependency>
         	<groupId>org.rascalmpl</groupId>
         	<artifactId>rascal</artifactId>
-        	<version>0.33.6-RC5-SNAPSHOT</version>
+        	<version>0.33.8</version>
         </dependency>
     </dependencies>
 </project>