From 63a40b518a408bfcf3bbb7c07e754ee232f897c2 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kristof@marussy.com>
Date: Tue, 5 Oct 2021 01:19:44 +0200
Subject: fix(language): also rename builtin problem library

---
 .../scoping/ProblemGlobalScopeProvider.java         |  2 +-
 .../eclipse/viatra/solver/language/builtin.problem  | 21 ---------------------
 .../main/resources/tools/refinery/builtin.problem   | 21 +++++++++++++++++++++
 3 files changed, 22 insertions(+), 22 deletions(-)
 delete mode 100644 language/src/main/resources/org/eclipse/viatra/solver/language/builtin.problem
 create mode 100644 language/src/main/resources/tools/refinery/builtin.problem

(limited to 'language')

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/org/eclipse/viatra/solver/language/builtin.problem
deleted file mode 100644
index 7c4f6685..00000000
--- a/language/src/main/resources/org/eclipse/viatra/solver/language/builtin.problem
+++ /dev/null
@@ -1,21 +0,0 @@
-problem builtin.
-
-abstract class node {
-	node[] equals opposite equals
-}
-
-pred exists(node node).
-
-abstract class domain extends node.
-
-abstract class data extends node.
-
-enum bool {
-	true, false
-}
-
-class real extends data.
-
-class int extends data.
-
-class string extends data.
diff --git a/language/src/main/resources/tools/refinery/builtin.problem b/language/src/main/resources/tools/refinery/builtin.problem
new file mode 100644
index 00000000..7c4f6685
--- /dev/null
+++ b/language/src/main/resources/tools/refinery/builtin.problem
@@ -0,0 +1,21 @@
+problem builtin.
+
+abstract class node {
+	node[] equals opposite equals
+}
+
+pred exists(node node).
+
+abstract class domain extends node.
+
+abstract class data extends node.
+
+enum bool {
+	true, false
+}
+
+class real extends data.
+
+class int extends data.
+
+class string extends data.
-- 
cgit v1.2.3-54-g00ecf