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 / ConstraintSet.java

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/constraints/ConstraintSet.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/constraints/ConstraintSet.java
index 4b516a734d74b49a9c4c235d7eb84039ac1f8bec..a18eae11f3c2899738daf325c6884eed511a274f 100644 (file)
--- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/constraints/ConstraintSet.java
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/constraints/ConstraintSet.java
@@ -100,7 +100,7 @@ class ConstraintSet {
             unsolved = new THashSet<Constraint>();
             for(Constraint c : temp) {
                 if(c.state == Constraint.STATE_UNSOLVED) {
-                    Reduction reduction = environment.reduce(c.constraint);
+                    Reduction reduction = environment.reduce(c.demandLocation, c.constraint);
                     if(reduction != null) {
                         TPred[] demands = reduction.demands;
                         if(demands.length == 0)