removed cwd from the standard library contributor; fixes #1859

usethesource · Sep 12, 2023 · d55cb74 · d55cb74
1 parent 40719bd
commit d55cb74
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/src/org/rascalmpl/interpreter/load/StandardLibraryContributor.java b/src/org/rascalmpl/interpreter/load/StandardLibraryContributor.java
@@ -64,10 +64,9 @@ public void contributePaths(List<ISourceLocation> l) {
 		}
 
 		try {
-			l.add(vf.sourceLocation("cwd","",""));
 			l.add(vf.sourceLocation("std","",""));
 			l.add(vf.sourceLocation("testdata","",""));
-		    l.add(vf.sourceLocation("test-modules","",""));
+                        l.add(vf.sourceLocation("test-modules","",""));
 			l.add(vf.sourceLocation("benchmarks","",""));
 		}
 		catch (URISyntaxException e) {
@@ -77,11 +76,11 @@ public void contributePaths(List<ISourceLocation> l) {
 
 	@Override
 	public String toString() {
-		return "[current wd and stdlib]";
+		return "[std://, testdata://, test-modules://, benchmarks://]";
 	}
 
 	@Override
 	public boolean equals(Object obj) {
 		return obj == this;
 	}
-}
+}