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

Minor refactoring

Browse Source
This commit is contained in:
Patrick Lühne 2018-04-19 15:58:30 +02:00
parent 55f7fd4ff3
commit 89aec98942
Signed by: patrick
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

@ -216,7 +216,7 @@ struct StatementVisitor
context.externalStatementsUsed = true;
const size_t arity = arityArgument.data.get<Clingo::Symbol>().number();
const size_t arity = aritySymbol.number();
auto predicateDeclaration = context.findOrCreatePredicateDeclaration(predicate.name, arity);
predicateDeclaration->isExternal = true;