1 files changed, 1 insertions, 0 deletions

diff --git a/subprojects/generator-cli/src/main/java/tools/refinery/generator/cli/commands/GenerateCommand.java b/subprojects/generator-cli/src/main/java/tools/refinery/generator/cli/commands/GenerateCommand.java
index b33fce23..b1c28df0 100644
--- a/subprojects/generator-cli/src/main/java/tools/refinery/generator/cli/commands/GenerateCommand.java
+++ b/subprojects/generator-cli/src/main/java/tools/refinery/generator/cli/commands/GenerateCommand.java
@@ -58,6 +58,7 @@ public class GenerateCommand {
         }
 
         public void run() throws IOException {
+                loader.extraPath(System.getProperty("user.dir"));
                 var problem = isStandardStream(inputPath) ? loader.loadStream(System.in) : loader.loadFile(inputPath);
                 problem = loader.loadScopeConstraints(problem, scopes, overrideScopes);
                 var generator = generatorFactory.createGenerator(problem);