From a8c26f85fe2330e92d9b6d701885c155f06910ad Mon Sep 17 00:00:00 2001
From: "Jurgen J. Vinju" <Jurgen.Vinju@cwi.nl>
Date: Thu, 17 Oct 2024 19:43:57 +0200
Subject: [PATCH] dropped double compilation of standard library

---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index ec4804399..f8b98ad78 100644
--- a/pom.xml
+++ b/pom.xml
@@ -188,7 +188,7 @@
                             <errorsAsWarnings>false</errorsAsWarnings>
                             <bin>${project.basedir}</bin> <!-- because tutor appends /docs to this -->
                             <srcs>
-                                <src>|lib://rascal/org/rascalmpl/library|</src>
+                                <!--<src>|lib://rascal/org/rascalmpl/library|</src> -->
                                 <src>${project.basedir}/courses/WhyRascal</src>
                                 <src>${project.basedir}/courses/Recipes</src>
                                 <src>${project.basedir}/courses/Rascal</src>