From f704ad64fdb5e2be7cf1802fd8410515ecbb1144 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Thu, 24 Nov 2016 00:57:35 +0100 Subject: [PATCH] Fixed syntax error in assertion. --- include/anthem/Head.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/include/anthem/Head.h b/include/anthem/Head.h index 8d81462..b4f09b2 100644 --- a/include/anthem/Head.h +++ b/include/anthem/Head.h @@ -168,7 +168,7 @@ struct TermPrintSubstitutedVisitor const auto matchingTerm = std::find(context.headTerms.cbegin(), context.headTerms.cend(), &argument); - assert(matchingTerm != terms.cend()); + assert(matchingTerm != context.headTerms.cend()); std::cout << AuxiliaryHeadVariablePrefix << (matchingTerm - context.headTerms.cbegin()); }