diff --git a/include/anthem/StatementVisitor.h b/include/anthem/StatementVisitor.h index dc40e1f..cea6b04 100644 --- a/include/anthem/StatementVisitor.h +++ b/include/anthem/StatementVisitor.h @@ -27,6 +27,9 @@ struct StatementVisitor void visit(const Clingo::AST::Rule &rule, const Clingo::AST::Statement &, Context &context) { + // TODO: implement more nicely + context.headTerms.clear(); + auto &outputStream = context.logger.outputStream(); // Concatenate all head terms