X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Felaboration%2Fjava%2FCheckRelation.java;h=8144a6c8b66a0f1e0b85f65bb37609c30e0d08dc;hb=89509fcdedf40fcfca0144158c28802dea4ab18f;hp=cf927825e176df8bbe2e4f4c87063e9d17adf5ee;hpb=969bd23cab98a79ca9101af33334000879fb60c5;p=simantics%2Fplatform.git

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/java/CheckRelation.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/java/CheckRelation.java
index cf927825e..8144a6c8b 100644
--- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/java/CheckRelation.java
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/java/CheckRelation.java
@@ -65,5 +65,15 @@ public class CheckRelation extends AbstractRelation {
     public String toString() {
         return "Check";
     }
+
+    @Override
+    public Type getEnforceEffect() {
+        return Types.NO_EFFECTS;
+    }
+
+    @Override
+    public Type getQueryEffect() {
+        return Types.NO_EFFECTS;
+    }
     
 }