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

Fixed typo.

Browse Source
This commit is contained in:
Patrick Lühne 2017-04-10 14:30:35 +02:00
parent b0388b9b28
commit d4ce0d54e8
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tests/TestCompletion.cpp
View File

@ -18,7 +18,7 @@ TEST_CASE("[completion] Rules are completed", "[completion]")
context.simplify = true; context.simplify = true;
context.complete = true; context.complete = true;
SECTION("predicte in single rule head") SECTION("predicate in single rule head")
{ {
input << "p :- q."; input << "p :- q.";
REQUIRE_NOTHROW(anthem::translate("input", input, context)); REQUIRE_NOTHROW(anthem::translate("input", input, context));