1 files changed, 3 insertions, 2 deletions

diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/actions/PartialActionLiterals.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/actions/PartialActionLiterals.java
index 7b4c5446..e8e6880a 100644
--- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/actions/PartialActionLiterals.java
+++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/actions/PartialActionLiterals.java
@@ -5,6 +5,7 @@
  */
 package tools.refinery.store.reasoning.actions;
 
+import tools.refinery.logic.AbstractValue;
 import tools.refinery.logic.term.NodeVariable;
 import tools.refinery.store.reasoning.representation.PartialRelation;
 import tools.refinery.store.reasoning.representation.PartialSymbol;
@@ -17,8 +18,8 @@ public final class PartialActionLiterals {
                 throw new IllegalStateException("This is a static utility class and should not be instantiated directly");
         }
 
-        public static <A, C> MergeActionLiteral<A, C> merge(PartialSymbol<A, C> partialSymbol, A value,
-                                                                                                                NodeVariable... parameters) {
+        public static <A extends AbstractValue<A, C>, C> MergeActionLiteral<A, C> merge(
+                        PartialSymbol<A, C> partialSymbol, A value, NodeVariable... parameters) {
                 return new MergeActionLiteral<>(partialSymbol, value, List.of(parameters));
         }