1 files changed, 1 insertions, 1 deletions

diff --git a/subprojects/store/src/main/java/tools/refinery/store/statecoding/internal/StateCoderStoreAdapterImpl.java b/subprojects/store/src/main/java/tools/refinery/store/statecoding/internal/StateCoderStoreAdapterImpl.java
index 89586bfb..2cb6f3c1 100644
--- a/subprojects/store/src/main/java/tools/refinery/store/statecoding/internal/StateCoderStoreAdapterImpl.java
+++ b/subprojects/store/src/main/java/tools/refinery/store/statecoding/internal/StateCoderStoreAdapterImpl.java
@@ -68,7 +68,7 @@ public class StateCoderStoreAdapterImpl implements StateCoderStoreAdapter {
         @Override
         public StateCoderAdapter createModelAdapter(Model model) {
                 var interpretations = symbols.stream().map(model::getInterpretation).toList();
-                var coder = codeCalculatorFactory.create(interpretations, individuals);
+                var coder = codeCalculatorFactory.create(model, interpretations, individuals);
                 return new StateCoderAdapterImpl(this, coder, model);
         }
 }