fixed bug

usethesource · Oct 20, 2023 · 0843e1c · 0843e1c
1 parent b5043be
commit 0843e1c
Showing 1 changed file with 0 additions and 2 deletions.
diff --git 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>