1 files changed, 4 insertions, 3 deletions

diff --git a/subprojects/store-query/src/main/java/tools/refinery/store/query/equality/LiteralEqualityHelper.java b/subprojects/store-query/src/main/java/tools/refinery/store/query/equality/LiteralEqualityHelper.java
index 0f6ee6c2..9315fb30 100644
--- a/subprojects/store-query/src/main/java/tools/refinery/store/query/equality/LiteralEqualityHelper.java
+++ b/subprojects/store-query/src/main/java/tools/refinery/store/query/equality/LiteralEqualityHelper.java
@@ -6,6 +6,7 @@
 package tools.refinery.store.query.equality;
 
 import tools.refinery.store.query.dnf.Dnf;
+import tools.refinery.store.query.dnf.SymbolicParameter;
 import tools.refinery.store.query.term.Variable;
 
 import java.util.HashMap;
@@ -17,8 +18,8 @@ public class LiteralEqualityHelper {
         private final Map<Variable, Variable> leftToRight;
         private final Map<Variable, Variable> rightToLeft;
 
-        public LiteralEqualityHelper(DnfEqualityChecker dnfEqualityChecker, List<Variable> leftParameters,
-                                                                 List<Variable> rightParameters) {
+        public LiteralEqualityHelper(DnfEqualityChecker dnfEqualityChecker, List<SymbolicParameter> leftParameters,
+                                                                 List<SymbolicParameter> rightParameters) {
                 this.dnfEqualityChecker = dnfEqualityChecker;
                 var arity = leftParameters.size();
                 if (arity != rightParameters.size()) {
@@ -27,7 +28,7 @@ public class LiteralEqualityHelper {
                 leftToRight = new HashMap<>(arity);
                 rightToLeft = new HashMap<>(arity);
                 for (int i = 0; i < arity; i++) {
-                        if (!variableEqual(leftParameters.get(i), rightParameters.get(i))) {
+                        if (!variableEqual(leftParameters.get(i).getVariable(), rightParameters.get(i).getVariable())) {
                                 throw new IllegalArgumentException("Parameter lists cannot be unified: duplicate parameter " + i);
                         }
                 }