From 2f54b7d60eb5b7181bef9e228a68fefeb6d39531 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Fri, 20 Apr 2018 16:22:49 +0200 Subject: [PATCH] Minor formatting --- src/anthem/HiddenPredicateElimination.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/anthem/HiddenPredicateElimination.cpp b/src/anthem/HiddenPredicateElimination.cpp index 42b94aa..375248a 100644 --- a/src/anthem/HiddenPredicateElimination.cpp +++ b/src/anthem/HiddenPredicateElimination.cpp @@ -209,9 +209,9 @@ void eliminateHiddenPredicates(std::vector &completedFormulas, Con i++; const auto isPredicateVisible = - (predicateDeclaration->visibility == ast::PredicateDeclaration::Visibility::Visible) - || (predicateDeclaration->visibility == ast::PredicateDeclaration::Visibility::Default - && context.defaultPredicateVisibility == ast::PredicateDeclaration::Visibility::Visible); + (predicateDeclaration->visibility == ast::PredicateDeclaration::Visibility::Visible) + || (predicateDeclaration->visibility == ast::PredicateDeclaration::Visibility::Default + && context.defaultPredicateVisibility == ast::PredicateDeclaration::Visibility::Visible); // If the predicate ought to be visible, don’t eliminate it if (isPredicateVisible)