Minor formatting

This commit is contained in:
Patrick Lühne 2018-04-20 16:22:49 +02:00
parent 2245e139b2
commit 2f54b7d60e
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF

View File

@ -209,9 +209,9 @@ void eliminateHiddenPredicates(std::vector<ast::Formula> &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, dont eliminate it
if (isPredicateVisible)