From 137f41abacc86a4b2ea73538ed1198697ff5fcee Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 11 Mar 2020 11:51:32 +0100
Subject: [PATCH] FormulaInformation: Fixed detection of property type.

---
 src/storm/logic/FormulaInformation.cpp | 2 +-
 src/storm/utility/Portfolio.cpp        | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/storm/logic/FormulaInformation.cpp b/src/storm/logic/FormulaInformation.cpp
index 50ddf2e76..4adae5a3c 100644
--- a/src/storm/logic/FormulaInformation.cpp
+++ b/src/storm/logic/FormulaInformation.cpp
@@ -2,7 +2,7 @@
 
 namespace storm {
     namespace logic {
-        FormulaInformation::FormulaInformation() : mContainsRewardOperator(false), mContainsNextFormula(false), mContainsBoundedUntilFormula(false), mContainsCumulativeRewardFormula(false), mContainsRewardBoundedFormula(false) {
+        FormulaInformation::FormulaInformation() : mContainsRewardOperator(false), mContainsNextFormula(false), mContainsBoundedUntilFormula(false), mContainsCumulativeRewardFormula(false), mContainsRewardBoundedFormula(false), mContainsLongRunFormula(false) {
             // Intentionally left empty
         }
         
diff --git a/src/storm/utility/Portfolio.cpp b/src/storm/utility/Portfolio.cpp
index ea5508840..f23ae66af 100644
--- a/src/storm/utility/Portfolio.cpp
+++ b/src/storm/utility/Portfolio.cpp
@@ -30,7 +30,7 @@ namespace storm {
                     STORM_LOG_INFO("Assuming Long Run property:" << property);
                     return PropertyType::LongRun;
                 } else {
-                    STORM_LOG_INFO("Unbounded property:" << property);
+                    STORM_LOG_INFO("Assuming Unbounded property:" << property);
                     return PropertyType::Unbounded;
                 }
             }