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%2Fchr%2Fast%2FCHRAstNegation.java;h=4f73d666b129c6d5a2bf651a59024467942b5709;hp=b97f1e7f7b5ea5054002f5ef2215e1398142eac6;hb=f68216dcf2f9c186211bc38847cdea345b5a0635;hpb=d9a283acefae11c2cc094ed1c7b74759f8166f17 diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/ast/CHRAstNegation.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/ast/CHRAstNegation.java index b97f1e7f7..4f73d666b 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/ast/CHRAstNegation.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/ast/CHRAstNegation.java @@ -18,7 +18,7 @@ public class CHRAstNegation extends CHRAstQuery { } @Override - protected void translate(TranslationContext context, boolean isHead, ArrayList literals) { + protected void translate(TranslationContext context, CHRQueryTranslationMode mode, ArrayList literals) { context.getCompilationContext().errorLog.log(location, "CHR negation is not yet supported."); } }