1 files changed, 0 insertions, 3 deletions

diff --git a/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/ViatraModelQueryBuilder.java b/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/ViatraModelQueryBuilder.java
index 6b3be115..d19c3bb4 100644
--- a/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/ViatraModelQueryBuilder.java
+++ b/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/ViatraModelQueryBuilder.java
@@ -10,7 +10,6 @@ import tools.refinery.store.query.ModelQueryBuilder;
 import tools.refinery.store.query.dnf.AnyQuery;
 import tools.refinery.store.query.dnf.Dnf;
 import tools.refinery.store.query.rewriter.DnfRewriter;
-import tools.refinery.viatra.runtime.CancellationToken;
 import tools.refinery.viatra.runtime.api.ViatraQueryEngineOptions;
 import tools.refinery.viatra.runtime.matchers.backend.IQueryBackendFactory;
 import tools.refinery.viatra.runtime.matchers.backend.QueryEvaluationHint;
@@ -30,8 +29,6 @@ public interface ViatraModelQueryBuilder extends ModelQueryBuilder {
 
         ViatraModelQueryBuilder searchBackend(IQueryBackendFactory queryBackendFactory);
 
-        ViatraModelQueryBuilder cancellationToken(CancellationToken cancellationToken);
-
         @Override
         default ViatraModelQueryBuilder queries(AnyQuery... queries) {
                 ModelQueryBuilder.super.queries(queries);