From 8f3ff23f38e70e716a561790eb75353475eddc34 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Sat, 21 Apr 2018 15:49:38 +0200
Subject: [PATCH] Add to-do

---
 src/anthem/IntegerVariableDetection.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/anthem/IntegerVariableDetection.cpp b/src/anthem/IntegerVariableDetection.cpp
index d371446..a9f24c2 100644
--- a/src/anthem/IntegerVariableDetection.cpp
+++ b/src/anthem/IntegerVariableDetection.cpp
@@ -586,6 +586,7 @@ void detectIntegerVariables(std::vector<ast::Formula> &completedFormulas)
 
 			assert(predicate.arguments.size() == predicate.declaration->arity());
 
+			// TODO: refactor
 			if (detectIntegerVariables(definition, definition, variableDomainMap) == OperationResult::Changed)
 				operationResult = OperationResult::Changed;