}
@Override
- protected void translate(TranslationContext context, boolean isHead, ArrayList<CHRLiteral> literals) {
+ protected void translate(TranslationContext context, CHRQueryTranslationMode mode, ArrayList<CHRLiteral> literals) {
context.getCompilationContext().errorLog.log(location, "CHR negation is not yet supported.");
}
}