patrick
/
anthem
1
0
Fork 0
Code Issues 15 Releases 21 Activity

Removed obsolete to-do.

This commit is contained in:
Patrick Lühne 2017-05-05 13:51:07 +02:00
parent 7145d05fb9
commit 48271cea88
No known key found for this signature in database
GPG Key ID: 05F3611E97A70ABF
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
tests/TestCompletion.cpp
View File

@ -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"