patrick/anthem
1
0
Fork 0
Code Issues 15 Releases 21 Activity

Resolved minor warnings.

Browse Source
This commit is contained in:
patrick
2016-11-29 02:29:54 +01:00
parent 5d67d74395
commit a653556d77
4 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
include/anthem/Body.h
+1 -1
View File
@@ -45,7 +45,7 @@ struct TermPrintVisitor
}
// TODO: check correctness
void visit(const Clingo::AST::Function &function, const Clingo::AST::Literal &literal, const Clingo::AST::Term &term, Context &context)
void visit(const Clingo::AST::Function &function, const Clingo::AST::Literal &literal, const Clingo::AST::Term &, Context &context)
{
if (literal.sign == Clingo::AST::Sign::DoubleNegation)
throwErrorAtLocation(literal.location, "double-negated literals currently unsupported", context);
include/anthem/Head.h
+3 -3
View File
@@ -18,7 +18,7 @@ namespace anthem
struct TermCollectFunctionTermsVisitor
{
void visit(const Clingo::Symbol &symbol, const Clingo::AST::Term &term, Context &context)
void visit(const Clingo::Symbol &, const Clingo::AST::Term &term, Context &context)
{
throwErrorAtLocation(term.location, "“symbol” terms not allowed, function expected", context);
}
@@ -64,7 +64,7 @@ struct TermCollectFunctionTermsVisitor
struct LiteralCollectFunctionTermsVisitor
{
void visit(const Clingo::AST::Boolean &, const Clingo::AST::Literal &, Context &context)
void visit(const Clingo::AST::Boolean &, const Clingo::AST::Literal &, Context &)
{
}
@@ -124,7 +124,7 @@ struct HeadLiteralCollectFunctionTermsVisitor
struct TermPrintSubstitutedVisitor
{
void visit(const Clingo::Symbol &symbol, const Clingo::AST::Term &term, Context &context)
void visit(const Clingo::Symbol &, const Clingo::AST::Term &term, Context &context)
{
throwErrorAtLocation(term.location, "“symbol” terms not allowed, function expected", context);
}