From d66d3557c1f9a17d9a1a8fd38d71ba7131fe8480 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 28e38e9..74517d4 100644
--- a/include/anthem/StatementVisitor.h
+++ b/include/anthem/StatementVisitor.h
@@ -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();