From 3fbe8ac407d52634387f47b755f192486612b8ea Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Thu, 24 Nov 2016 03:08:36 +0100
Subject: [PATCH] Fixed missing reset on collected head term vector.

---
 include/anthem/StatementVisitor.h | 3 +++
 1 file changed, 3 insertions(+)

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