diff --git a/src/org/rascalmpl/library/util/PathConfig.java b/src/org/rascalmpl/library/util/PathConfig.java index a295ac2a95..0f5c82eb87 100644 --- a/src/org/rascalmpl/library/util/PathConfig.java +++ b/src/org/rascalmpl/library/util/PathConfig.java @@ -708,7 +708,7 @@ private static CliRequest buildRequest(String[] args, ISourceLocation manifestRo var cons = CliRequest.class.getDeclaredConstructor(String[].class, ClassWorld.class); cons.setAccessible(true); var result = cons.newInstance(args, null); - setField(result, "workingDirectory", manifestRoot.getPath()); + setField(result, "workingDirectory", new File(manifestRoot.getPath()).getPath()); setField(result, "multiModuleProjectDirectory", new File(manifestRoot.getPath())); return result; }