Updated

usethesource · Nov 3, 2024 · 1e757e3 · 1e757e3
1 parent 8a38102
commit 1e757e3
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/pom.xml b/pom.xml
@@ -143,7 +143,7 @@
                         <errorsAsWarnings>false</errorsAsWarnings>
                         <proceedOnError />
                         <properties>${project.basedir}/.settings/org.eclipse.jdt.core.prefs</properties>
-                    </compilerArguments> 
+                    </compilerArguments>
                 </configuration>
                 <dependencies>
                     <dependency>
@@ -173,7 +173,7 @@
                     </execution>
                 </executions>
                 -->
-            </plugin> 
+            </plugin>
             <plugin>
                 <groupId>org.apache.maven.plugins</groupId>
                 <artifactId>maven-release-plugin</artifactId>
@@ -228,7 +228,7 @@
         <dependency>
             <groupId>org.rascalmpl</groupId>
             <artifactId>typepal</artifactId>
-            <version>0.14.7</version>
+            <version>0.14.8-SNAPSHOT</version>
         </dependency>
         <dependency>
         	<groupId>io.usethesource</groupId>
@@ -238,7 +238,7 @@
         <dependency>
             <groupId>org.junit.jupiter</groupId>
             <artifactId>junit-jupiter-api</artifactId>
-            <version>5.8.2</version> 
+            <version>5.8.2</version>
         </dependency>
         <dependency>
         	<groupId>org.rascalmpl</groupId>