added Explode to ignore because it contains features the type-checker…

… does not know about yet
usethesource · Dec 14, 2023 · 6c25da4 · 6c25da4
1 parent ed9e15e
commit 6c25da4
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/pom.xml b/pom.xml
@@ -129,6 +129,7 @@
                     <issues>|https://github.com/usethesource/rascal/issues|</issues>
                     <srcIgnores>
                         <ignore>${project.basedir}/src/org/rascalmpl/library/experiments</ignore>
+                        <ignore>${project.basedir}/src/org/rascalmpl/library/util/Explode.rsc</ignore>
                         <ignore>${project.basedir}/src/org/rascalmpl/library/resource</ignore>
                         <ignore>${project.basedir}/src/org/rascalmpl/library/lang/rascal/tests</ignore>
                         <ignore>${project.basedir}/src/org/rascalmpl/library/lang/rascal/grammar/tests</ignore>