migrated to svn revision 33108

[simantics/platform.git] / bundles / org.simantics.scl.compiler / src / org / simantics / scl / compiler / elaboration / expressions / ERuleset.java

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ERuleset.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ERuleset.java
index e512460298d5bb40e0316d5b4020d0c21f8184a3..02b8c9ddc0c4922765cbbf5ff321726e4d05ff86 100644 (file)
--- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ERuleset.java
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ERuleset.java
@@ -131,6 +131,13 @@ public class ERuleset extends SimplifiableExpression {
         return compile(context);\r
     }\r
     \r
+    @Override\r
+    public Expression checkIgnoredType(TypingContext context) {\r
+        checkRuleTypes(context);\r
+        in = in.checkIgnoredType(context);\r
+        return compile(context);\r
+    }\r
+    \r
     @Override\r
     public void collectFreeVariables(THashSet<Variable> vars) {\r
         for(DatalogRule rule : rules) {\r