2 files changed, 4 insertions, 4 deletions

diff --git a/subprojects/language-web/src/main/java/tools/refinery/language/web/generator/ModelGenerationWorker.java b/subprojects/language-web/src/main/java/tools/refinery/language/web/generator/ModelGenerationWorker.java
index 9ee74207..1fce10a4 100644
--- a/subprojects/language-web/src/main/java/tools/refinery/language/web/generator/ModelGenerationWorker.java
+++ b/subprojects/language-web/src/main/java/tools/refinery/language/web/generator/ModelGenerationWorker.java
@@ -27,7 +27,7 @@ import tools.refinery.store.dse.propagation.PropagationAdapter;
 import tools.refinery.store.dse.strategy.BestFirstStoreManager;
 import tools.refinery.store.dse.transition.DesignSpaceExplorationAdapter;
 import tools.refinery.store.model.ModelStore;
-import tools.refinery.store.query.viatra.ViatraModelQueryAdapter;
+import tools.refinery.store.query.interpreter.QueryInterpreterAdapter;
 import tools.refinery.store.reasoning.ReasoningAdapter;
 import tools.refinery.store.reasoning.ReasoningStoreAdapter;
 import tools.refinery.store.reasoning.literal.Concreteness;
@@ -177,7 +177,7 @@ public class ModelGenerationWorker implements Runnable {
                 cancellationToken.checkCancelled();
                 var storeBuilder = ModelStore.builder()
                                 .cancellationToken(cancellationToken)
-                                .with(ViatraModelQueryAdapter.builder())
+                                .with(QueryInterpreterAdapter.builder())
                                 .with(PropagationAdapter.builder())
                                 .with(StateCoderAdapter.builder())
                                 .with(DesignSpaceExplorationAdapter.builder())
diff --git a/subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/SemanticsWorker.java b/subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/SemanticsWorker.java
index 512c2778..fb89bea6 100644
--- a/subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/SemanticsWorker.java
+++ b/subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/SemanticsWorker.java
@@ -21,7 +21,7 @@ import tools.refinery.language.semantics.model.ModelInitializer;
 import tools.refinery.language.semantics.model.TracedException;
 import tools.refinery.store.dse.propagation.PropagationAdapter;
 import tools.refinery.store.model.ModelStore;
-import tools.refinery.store.query.viatra.ViatraModelQueryAdapter;
+import tools.refinery.store.query.interpreter.QueryInterpreterAdapter;
 import tools.refinery.store.reasoning.ReasoningAdapter;
 import tools.refinery.store.reasoning.ReasoningStoreAdapter;
 import tools.refinery.store.reasoning.literal.Concreteness;
@@ -66,7 +66,7 @@ class SemanticsWorker implements Callable<SemanticsResult> {
         public SemanticsResult call() {
                 var builder = ModelStore.builder()
                                 .cancellationToken(cancellationToken)
-                                .with(ViatraModelQueryAdapter.builder())
+                                .with(QueryInterpreterAdapter.builder())
                                 .with(PropagationAdapter.builder())
                                 .with(ReasoningAdapter.builder()
                                                 .requiredInterpretations(Concreteness.PARTIAL));