Fixed leftover problems in unification of *Array and Vector types

[simantics/platform.git] / bundles / org.simantics.scl.compiler / src / org / simantics / scl / compiler / internal / elaboration / constraints / ConstraintSolver.java

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/constraints/ConstraintSolver.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/constraints/ConstraintSolver.java
index 87f75a0411629a859347245ea48af94649161697..69b8e7e647f2a393e988204d4092fa7306d4aa51 100644 (file)
--- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/constraints/ConstraintSolver.java
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/constraints/ConstraintSolver.java
@@ -153,7 +153,7 @@ public class ConstraintSolver {
                             throw new InternalCompilerError();
                         }
                         for(Constraint constraint : group) {
-                            Reduction reduction = environment.reduce(constraint.constraint);
+                            Reduction reduction = environment.reduce(constraint.demandLocation, constraint.constraint);
                             if(reduction.demands.length > 0)
                                 throw new InternalCompilerError();
                             constraint.setGenerator(Constraint.STATE_HAS_INSTANCE,