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%2Fequation%2FEqGuard.java;h=8b24943478792887543d9a6cc363ff63fe1281b7;hp=c753924e64eb7fc5e99576e2e6fa2e4c13200475;hb=9a175feb652b2b7bba7afa540831b9076be3c10e;hpb=0b72d3e4ec886838314ffeba0fa201e32c0aae3e

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/equation/EqGuard.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/equation/EqGuard.java
index c753924e6..8b2494347 100644
--- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/equation/EqGuard.java
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/equation/EqGuard.java
@@ -56,7 +56,7 @@ public class EqGuard extends Equation {
 
     @Override
     public void checkType(TypingContext context) {
-        guard = guard.inferType(context);
+        guard = guard.checkIgnoredType(context);
     }
 
     @Override