From 1d5786dd58167a6ea1d77f27a9f5291daa3477fc Mon Sep 17 00:00:00 2001
From: Tom Janson <tom.janson@rwth-aachen.de>
Date: Sat, 24 Dec 2016 00:20:35 +0100
Subject: [PATCH] catch uninit access on wrong formula type

---
 src/storm/logic/OperatorFormula.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storm/logic/OperatorFormula.cpp b/src/storm/logic/OperatorFormula.cpp
index a0607aa7a..93b692e98 100644
--- a/src/storm/logic/OperatorFormula.cpp
+++ b/src/storm/logic/OperatorFormula.cpp
@@ -15,6 +15,7 @@ namespace storm {
         }
         
         ComparisonType OperatorFormula::getComparisonType() const {
+            STORM_LOG_ASSERT(operatorInformation.bound.is_initialized(), "Cannot get Formula comparison type (has no bound?)");
             return operatorInformation.bound.get().comparisonType;
         }