From 0843e1c2ae9e0c40694c4f1eb295d9a32ba666ad Mon Sep 17 00:00:00 2001
From: "Jurgen J. Vinju" <Jurgen.Vinju@cwi.nl>
Date: Fri, 20 Oct 2023 07:53:54 +0200
Subject: [PATCH] fixed bug

---
 pom.xml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/pom.xml b/pom.xml
index 55a13aa32..35b8460a3 100644
--- a/pom.xml
+++ b/pom.xml
@@ -187,12 +187,10 @@
                                 <src>${project.basedir}/courses/GettingStarted</src>
                                 <src>${project.basedir}/courses/Rascalopedia</src>
                                 <src>${project.basedir}/courses/Bibliography</src>
-                                <src>${project.basedir}/src/rascal</src>
                             </srcs>
                             <ignores>
                                 <ignore>|lib://rascal/org/rascalmpl/library/lang/rascal|</ignore>
                                 <ignore>|lib://rascal/org/rascalmpl/library/lang/c90|</ignore>
-                                <ignore>${project.basedir}/src/rascal/demo</ignore> 
                             </ignores>
                         </configuration>
                     </execution>