From 4ed4458f1b92b800e9c6769b2f2e5605fe3d2de1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Sun, 4 Jun 2017 04:43:07 +0200
Subject: [PATCH] Fixed typos in error messages.

---
 include/anthem/Head.h | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

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<class T>
 	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<class T>
 	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<class T>
 	std::experimental::optional<ast::Formula> 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<class T>
 	std::experimental::optional<ast::Formula> 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;
 	}
 };