From 89aec989421c6c59cec668bced35f4236027e364 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Thu, 19 Apr 2018 15:58:30 +0200
Subject: [PATCH] Minor refactoring

---
 include/anthem/StatementVisitor.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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<Clingo::Symbol>().number();
+		const size_t arity = aritySymbol.number();
 
 		auto predicateDeclaration = context.findOrCreatePredicateDeclaration(predicate.name, arity);
 		predicateDeclaration->isExternal = true;