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

Minor refactoring

This commit is contained in:
Patrick Lühne 2018-04-19 15:58:30 +02:00 committed by Patrick Lühne
parent e15a6b2e88
commit d66d3557c1
No known key found for this signature in database
GPG Key ID: 05F3611E97A70ABF
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
include/anthem/StatementVisitor.h
View File

@ -214,7 +214,7 @@ struct StatementVisitor
if (aritySymbol.type() != Clingo::SymbolType::Number)
fail();
const size_t arity = arityArgument.data.get<Clingo::Symbol>().number();
const size_t arity = aritySymbol.number();
if (!context.externalPredicateSignatures)
context.externalPredicateSignatures.emplace();