From 8b8dd1b57ec40a19fa2cb604202efcb3ca3af1eb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Fri, 20 Apr 2018 16:28:36 +0200
Subject: [PATCH] Minor refactoring

---
 include/anthem/Context.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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<std::unique_ptr<ast::PredicateDeclaration>> predicateDeclarations;
 	ast::PredicateDeclaration::Visibility defaultPredicateVisibility{ast::PredicateDeclaration::Visibility::Visible};