From 6162960027d75f1625de4dfdae365217fc429711 Mon Sep 17 00:00:00 2001
From: Toine Hartman <toine.hartman@swat.engineering>
Date: Thu, 30 Jul 2026 15:49:49 +0200
Subject: [PATCH] Fix broken path config constructor.

---
 src/org/rascalmpl/library/util/PathConfig.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/org/rascalmpl/library/util/PathConfig.java b/src/org/rascalmpl/library/util/PathConfig.java
index e62238a0575..f5be93d1cab 100644
--- a/src/org/rascalmpl/library/util/PathConfig.java
+++ b/src/org/rascalmpl/library/util/PathConfig.java
@@ -132,7 +132,7 @@ private PathConfig(ISourceLocation projectRoot, List<ISourceLocation> srcs, List
         this.srcs = srcs;
         this.ignores = ignores;
         this.bin = bin;
-        this.libs = ignores;
+        this.libs = libs;
         this.resources = resources;
         this.messages = messages;
     }