diff --git a/include/anthem/Context.h b/include/anthem/Context.h index bfaa196..b1d0924 100644 --- a/include/anthem/Context.h +++ b/include/anthem/Context.h @@ -35,8 +35,8 @@ struct Context output::Logger logger; - bool performSimplification = false; - bool performCompletion = false; + bool performSimplification{false}; + bool performCompletion{false}; std::optional> visiblePredicateSignatures; std::optional> externalPredicateSignatures;