diff options
author | Kristóf Marussy <kristof@marussy.com> | 2021-10-05 01:19:44 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2021-10-05 01:19:44 +0200 |
commit | 63a40b518a408bfcf3bbb7c07e754ee232f897c2 (patch) | |
tree | f4d32de704e95ae6214264fe1c80a2f0b870b255 /language | |
parent | chore: change package name (diff) | |
download | refinery-63a40b518a408bfcf3bbb7c07e754ee232f897c2.tar.gz refinery-63a40b518a408bfcf3bbb7c07e754ee232f897c2.tar.zst refinery-63a40b518a408bfcf3bbb7c07e754ee232f897c2.zip |
fix(language): also rename builtin problem library
Diffstat (limited to 'language')
-rw-r--r-- | language/src/main/java/tools/refinery/language/scoping/ProblemGlobalScopeProvider.java | 2 | ||||
-rw-r--r-- | language/src/main/resources/tools/refinery/builtin.problem (renamed from language/src/main/resources/org/eclipse/viatra/solver/language/builtin.problem) | 0 |
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 { | |||
20 | 20 | ||
21 | private static URI getLibraryUri(String libraryName) { | 21 | private static URI getLibraryUri(String libraryName) { |
22 | return URI.createURI(ProblemGlobalScopeProvider.class.getClassLoader() | 22 | return URI.createURI(ProblemGlobalScopeProvider.class.getClassLoader() |
23 | .getResource("org/eclipse/viatra/solver/language/" + libraryName + ".problem").toString()); | 23 | .getResource("tools/refinery/" + libraryName + ".problem").toString()); |
24 | } | 24 | } |
25 | } | 25 | } |
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 | |||