From ba8f68c5d4bc6675f94431205c822b11ddbf286d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Wed, 23 Nov 2016 04:07:12 +0100
Subject: [PATCH] Removed unnecessary include directive.

---
 include/anthem/Head.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/include/anthem/Head.h b/include/anthem/Head.h
index 29df6a2..db50664 100644
--- a/include/anthem/Head.h
+++ b/include/anthem/Head.h
@@ -3,7 +3,6 @@
 
 #include <algorithm>
 
-#include <anthem/TermVisitor.h>
 #include <anthem/Utils.h>
 
 namespace anthem