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(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;