From a32cfb0d7fb6fa5af2e9f8f5e7ea92890d06ec4f Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Fri, 24 Nov 2017 20:48:50 +0100
Subject: [PATCH] Fixed uninitialized variables

---
 src/storm/logic/FormulaInformation.cpp | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/storm/logic/FormulaInformation.cpp b/src/storm/logic/FormulaInformation.cpp
index 900da239a..a6f471922 100644
--- a/src/storm/logic/FormulaInformation.cpp
+++ b/src/storm/logic/FormulaInformation.cpp
@@ -2,10 +2,8 @@
 
 namespace storm {
     namespace logic {
-        FormulaInformation::FormulaInformation() {
-            this->mContainsRewardOperator = false;
-            this->mContainsNextFormula = false;
-            this->mContainsBoundedUntilFormula = false;
+        FormulaInformation::FormulaInformation() : mContainsRewardOperator(false), mContainsNextFormula(false), mContainsBoundedUntilFormula(false), mContainsCumulativeRewardFormula(false), mContainsRewardBoundedFormula(false) {
+            // Intentionally left empty
         }
         
         bool FormulaInformation::containsRewardOperator() const {