From 3ba80e8c9d9d81c06047aad47c705c10df3714b7 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 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<std::vector<PredicateSignatureMeta>> visiblePredicateSignatures;
 	std::optional<std::vector<PredicateSignatureMeta>> externalPredicateSignatures;