diff --git a/include/anthem/StatementVisitor.h b/include/anthem/StatementVisitor.h index cf8d1fa..c6517d2 100644 --- a/include/anthem/StatementVisitor.h +++ b/include/anthem/StatementVisitor.h @@ -216,7 +216,7 @@ struct StatementVisitor context.externalStatementsUsed = true; - const size_t arity = arityArgument.data.get().number(); + const size_t arity = aritySymbol.number(); auto predicateDeclaration = context.findOrCreatePredicateDeclaration(predicate.name, arity); predicateDeclaration->isExternal = true;