2 files changed, 1 insertions, 1 deletions

diff --git a/language/src/main/java/tools/refinery/language/scoping/ProblemGlobalScopeProvider.java b/language/src/main/java/tools/refinery/language/scoping/ProblemGlobalScopeProvider.java
index 8f4c9374..a21c3bd2 100644
--- a/language/src/main/java/tools/refinery/language/scoping/ProblemGlobalScopeProvider.java
+++ b/language/src/main/java/tools/refinery/language/scoping/ProblemGlobalScopeProvider.java
@@ -20,6 +20,6 @@ public class ProblemGlobalScopeProvider extends ImportUriGlobalScopeProvider {
 
         private static URI getLibraryUri(String libraryName) {
                 return URI.createURI(ProblemGlobalScopeProvider.class.getClassLoader()
-                                .getResource("org/eclipse/viatra/solver/language/" + libraryName + ".problem").toString());
+                                .getResource("tools/refinery/" + libraryName + ".problem").toString());
         }
 }
diff --git a/language/src/main/resources/org/eclipse/viatra/solver/language/builtin.problem b/language/src/main/resources/tools/refinery/builtin.problem
index 7c4f6685..7c4f6685 100644
--- a/language/src/main/resources/org/eclipse/viatra/solver/language/builtin.problem
+++ b/language/src/main/resources/tools/refinery/builtin.problem