Fixed missing reset on collected head term vector.

2016-11-24 03:08:36 +01:00 · 2016-11-24 03:08:36 +01:00 · 3fbe8ac407
parent 2046edbee3
commit 3fbe8ac407
1 changed files with 3 additions and 0 deletions
--- 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