1 files changed, 2 insertions, 1 deletions

diff --git a/subprojects/store/src/main/java/tools/refinery/store/statecoding/StateCodeCalculatorFactory.java b/subprojects/store/src/main/java/tools/refinery/store/statecoding/StateCodeCalculatorFactory.java
index 04e17a13..809205e4 100644
--- a/subprojects/store/src/main/java/tools/refinery/store/statecoding/StateCodeCalculatorFactory.java
+++ b/subprojects/store/src/main/java/tools/refinery/store/statecoding/StateCodeCalculatorFactory.java
@@ -7,9 +7,10 @@ package tools.refinery.store.statecoding;
 
 import org.eclipse.collections.api.set.primitive.IntSet;
 import tools.refinery.store.model.Interpretation;
+import tools.refinery.store.model.Model;
 
 import java.util.List;
 
 public interface StateCodeCalculatorFactory {
-        StateCodeCalculator create(List<? extends Interpretation<?>> interpretations, IntSet individuals);
+        StateCodeCalculator create(Model model, List<? extends Interpretation<?>> interpretations, IntSet individuals);
 }