1 files changed, 1 insertions, 1 deletions
diff --git a/subprojects/store-query-viatra/src/test/java/tools/refinery/store/query/viatra/tests/QueryBackendHint.java b/subprojects/store-query-viatra/src/test/java/tools/refinery/store/query/viatra/tests/QueryBackendHint.java
index dc0e92c8..5f88e04b 100644
--- a/subprojects/store-query-viatra/src/test/java/tools/refinery/store/query/viatra/tests/QueryBackendHint.java
+++ b/subprojects/store-query-viatra/src/test/java/tools/refinery/store/query/viatra/tests/QueryBackendHint.java
@@ -5,7 +5,7 @@
 */
 package tools.refinery.store.query.viatra.tests;
-import org.eclipse.viatra.query.runtime.matchers.backend.QueryEvaluationHint;
+import tools.refinery.viatra.runtime.matchers.backend.QueryEvaluationHint;
 /**
 * Overrides {@link QueryEvaluationHint#toString()} for pretty names in parametric test names.

diff --git a/subprojects/store-query-viatra/src/test/java/tools/refinery/store/query/viatra/tests/QueryBackendHint.java b/subprojects/store-query-viatra/src/test/java/tools/refinery/store/query/viatra/tests/QueryBackendHint.java index dc0e92c8..5f88e04b 100644 --- a/subprojects/store-query-viatra/src/test/java/tools/refinery/store/query/viatra/tests/QueryBackendHint.java +++ b/subprojects/store-query-viatra/src/test/java/tools/refinery/store/query/viatra/tests/QueryBackendHint.java
@@ -5,7 +5,7 @@
5	*/	5	*/
6	package tools.refinery.store.query.viatra.tests;	6	package tools.refinery.store.query.viatra.tests;
7		7
8	import org.eclipse.viatra.query.runtime.matchers.backend.QueryEvaluationHint;	8	import tools.refinery.viatra.runtime.matchers.backend.QueryEvaluationHint;
9		9
10	/**	10	/**
11	* Overrides {@link QueryEvaluationHint#toString()} for pretty names in parametric test names.	11	* Overrides {@link QueryEvaluationHint#toString()} for pretty names in parametric test names.