From 48271cea884f0992fc57eab59a6c254aed9f2cf2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Fri, 5 May 2017 13:51:07 +0200
Subject: [PATCH] Removed obsolete to-do.

---
 tests/TestCompletion.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/tests/TestCompletion.cpp b/tests/TestCompletion.cpp
index bfc2743..89a7336 100644
--- a/tests/TestCompletion.cpp
+++ b/tests/TestCompletion.cpp
@@ -122,7 +122,6 @@ TEST_CASE("[completion] Rules are completed", "[completion]")
 			"v :- #false.";
 		anthem::translate("input", input, context);
 
-		// TODO: implement completion for unused predicates
 		CHECK(output.str() ==
 			"not p\n"
 			"forall V1 not q(V1)\n"