From 9d1a1249d3963c03ee9d8fd45bb262409da3a7d5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Fri, 9 Jun 2017 20:19:46 +0200
Subject: [PATCH] Removed obsolete to-do.

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

diff --git a/include/anthem/ASTVisitors.h b/include/anthem/ASTVisitors.h
index b9b08fc..b56f8c3 100644
--- a/include/anthem/ASTVisitors.h
+++ b/include/anthem/ASTVisitors.h
@@ -108,7 +108,6 @@ struct RecursiveFormulaVisitor
 template<class T, class ReturnType = void>
 struct RecursiveTermVisitor
 {
-	// TODO: return type is incorrect
 	template <class... Arguments>
 	ReturnType visit(BinaryOperation &binaryOperation, Term &term, Arguments &&... arguments)
 	{