From a2111f44fc055f45546ec9d8568235845a5dd3f9 Mon Sep 17 00:00:00 2001 From: "Jurgen J. Vinju" Date: Sat, 15 Jun 2024 09:30:37 +0200 Subject: [PATCH] Update pom.xml Errors are not warnings anymore --- pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pom.xml b/pom.xml index 12abf63..7ddab71 100644 --- a/pom.xml +++ b/pom.xml @@ -81,7 +81,7 @@ rascal-maven-plugin 0.22.0 - true + false false ${project.build.outputDirectory}