diff --git a/src/org/rascalmpl/library/util/PathConfig.java b/src/org/rascalmpl/library/util/PathConfig.java index f5584977129..56c205af84c 100644 --- a/src/org/rascalmpl/library/util/PathConfig.java +++ b/src/org/rascalmpl/library/util/PathConfig.java @@ -543,6 +543,7 @@ public static PathConfig fromSourceProjectRascalManifest(ISourceLocation manifes switch (mode) { case INTERPRETER: srcsWriter.appendAll(childConfig.getSrcs()); + libsWriter.append(childConfig.getBin()); break; case COMPILER: libsWriter.append(setTargetScheme(projectLoc));