Add to-do
This commit is contained in:
parent
03c22d00f5
commit
8f3ff23f38
@ -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;
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user