diff --git a/include/anthem/Context.h b/include/anthem/Context.h index 2496077..a341a43 100644 --- a/include/anthem/Context.h +++ b/include/anthem/Context.h @@ -75,8 +75,8 @@ struct Context output::Logger logger; - bool performSimplification = false; - bool performCompletion = false; + bool performSimplification{false}; + bool performCompletion{false}; std::vector> predicateDeclarations; ast::PredicateDeclaration::Visibility defaultPredicateVisibility{ast::PredicateDeclaration::Visibility::Visible};