do not add rascal project as lib

usethesource · Feb 12, 2025 · 0dc1ad4 · 0dc1ad4
1 parent c8e1b91
commit 0dc1ad4
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/org/rascalmpl/library/util/PathConfig.java b/src/org/rascalmpl/library/util/PathConfig.java
@@ -580,7 +580,9 @@ else if (dep == rascalProject) {
                 }
                 else {
                     // this is a jar without Rascal meta-data, we need it for the classpath
-                    libsWriter.append(dep);
+                    if (dep != rascalProject) {
+                        libsWriter.append(dep);
+                    }
                 }
             }
         }