From 2b2049171fa249e2ece15c0751a28f59cfce8371 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Wed, 15 Mar 2017 16:49:42 +0100
Subject: [PATCH] Fixed incorrect error message.

---
 include/anthem/Term.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/anthem/Term.h b/include/anthem/Term.h
index e00ec25..132426f 100644
--- a/include/anthem/Term.h
+++ b/include/anthem/Term.h
@@ -58,7 +58,7 @@ struct TermTranslateVisitor
 			case Clingo::SymbolType::String:
 				return std::make_unique<ast::String>(std::string(symbol.string()));
 			default:
-				throwErrorAtLocation(term.location, "only numeric “symbol” terms allowed", context);
+				throwErrorAtLocation(term.location, "symbol type not supported", context);
 		}
 
 		return std::experimental::nullopt;