1 files changed, 2 insertions, 2 deletions

diff --git a/subprojects/store/src/main/java/tools/refinery/store/model/Model.java b/subprojects/store/src/main/java/tools/refinery/store/model/Model.java
index e2ab72e7..c4ce5207 100644
--- a/subprojects/store/src/main/java/tools/refinery/store/model/Model.java
+++ b/subprojects/store/src/main/java/tools/refinery/store/model/Model.java
@@ -8,11 +8,9 @@ package tools.refinery.store.model;
 import tools.refinery.store.adapter.ModelAdapter;
 import tools.refinery.store.map.Version;
 import tools.refinery.store.map.Versioned;
-import tools.refinery.store.model.internal.VersionedInterpretation;
 import tools.refinery.store.representation.AnySymbol;
 import tools.refinery.store.representation.Symbol;
 
-import java.util.Map;
 import java.util.Optional;
 
 public interface Model extends Versioned {
@@ -38,4 +36,6 @@ public interface Model extends Versioned {
         void addListener(ModelListener listener);
 
         void removeListener(ModelListener listener);
+
+        void checkCancelled();
 }