diff --git a/include/anthem/Head.h b/include/anthem/Head.h index 22ab07c..6430ac8 100644 --- a/include/anthem/Head.h +++ b/include/anthem/Head.h @@ -39,7 +39,7 @@ struct TermCollectFunctionTermsVisitor template void visit(const T &, const Clingo::AST::Term &term, RuleContext &) { - throw LogicException(term.location, "term currently unsupported in this function expected"); + throw LogicException(term.location, "term currently unsupported in this context, function expected"); } }; @@ -108,7 +108,7 @@ struct HeadLiteralCollectFunctionTermsVisitor template void visit(const T &, const Clingo::AST::HeadLiteral &headLiteral, RuleContext &) { - throw LogicException(headLiteral.location, "head literal currently unsupported in this expected literal, disjunction, or aggregate"); + throw LogicException(headLiteral.location, "head literal currently unsupported in this context, expected literal, disjunction, or aggregate"); } }; @@ -136,7 +136,7 @@ struct FunctionTermTranslateVisitor template std::experimental::optional visit(const T &, const Clingo::AST::Term &term, RuleContext &, size_t &) { - throw TranslationException(term.location, "term currently unsupported in this function expected"); + throw TranslationException(term.location, "term currently unsupported in this context, function expected"); return std::experimental::nullopt; } }; @@ -240,7 +240,7 @@ struct HeadLiteralTranslateToConsequentVisitor template std::experimental::optional visit(const T &, const Clingo::AST::HeadLiteral &headLiteral, RuleContext &, size_t &) { - throw TranslationException(headLiteral.location, "head literal currently unsupported in this expected literal, disjunction, or aggregate"); + throw TranslationException(headLiteral.location, "head literal currently unsupported in this context, expected literal, disjunction, or aggregate"); return std::experimental::nullopt; } };