From d4ce0d54e8bb34ce7c4ae2f58b65406892df620f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Mon, 10 Apr 2017 14:30:35 +0200 Subject: [PATCH] Fixed typo. --- tests/TestCompletion.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/TestCompletion.cpp b/tests/TestCompletion.cpp index 29998d1..dbad868 100644 --- a/tests/TestCompletion.cpp +++ b/tests/TestCompletion.cpp @@ -18,7 +18,7 @@ TEST_CASE("[completion] Rules are completed", "[completion]") context.simplify = true; context.complete = true; - SECTION("predicte in single rule head") + SECTION("predicate in single rule head") { input << "p :- q."; REQUIRE_NOTHROW(anthem::translate("input", input, context));