From 3b26580815f311acb1dc439131b4aa20f4aa74a1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Mon, 5 Jun 2017 03:54:17 +0200 Subject: [PATCH] Minor formatting. --- src/anthem/Simplification.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/anthem/Simplification.cpp b/src/anthem/Simplification.cpp index 58da9b3..f4df751 100644 --- a/src/anthem/Simplification.cpp +++ b/src/anthem/Simplification.cpp @@ -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; }