X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Felaboration%2Fexpressions%2FEEquations.java;h=cf3774f2168628edba17b2fef342b761bbbe88ee;hp=41cea63ffb212e0aaad8f3eb56feb2d674ddcfb5;hb=9a175feb652b2b7bba7afa540831b9076be3c10e;hpb=0b72d3e4ec886838314ffeba0fa201e32c0aae3e

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/EEquations.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/EEquations.java
index 41cea63ff..cf3774f21 100644
--- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/EEquations.java
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/EEquations.java
@@ -107,6 +107,11 @@ public class EEquations extends SimplifiableExpression {
         return this;
     }
     
+    @Override
+    public Expression checkIgnoredType(TypingContext context) {
+        return inferType(context);
+    }
+
     @Override
     public Expression simplify(SimplificationContext context) {
         context.getErrorLog().log(location, "Equations should be transformed into other expressions before simplification phase.");