patrick/anthem
1
0
Fork 0
Code Issues 15 Releases 21 Activity

Minor formatting.

Browse Source
This commit is contained in:
Patrick Lühne 2017-06-05 03:54:17 +02:00
parent b272a91888
commit 3b26580815
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/anthem/Simplification.cpp
View File

@ -174,12 +174,12 @@ void simplify(ast::Exists &exists, ast::Formula &formula)
if (!exists.variables.empty())
return;
assert(!conjunction.arguments.empty());
assert(!arguments.empty());
// If the argument now is a conjunction with just one element, directly replace the input formula with the argument
if (conjunction.arguments.size() == 1)
if (arguments.size() == 1)
{
formula = std::move(conjunction.arguments.front());
formula = std::move(arguments.front());
return;
}