diff --git a/src/storm/logic/TimeBoundType.h b/src/storm/logic/TimeBoundType.h
index 7200cc89d..0bd6aba0c 100644
--- a/src/storm/logic/TimeBoundType.h
+++ b/src/storm/logic/TimeBoundType.h
@@ -24,7 +24,10 @@ namespace storm {
                 assert(rewardName != ""); // Empty reward name is reserved.
             }
 
-
+            TimeBoundType getType() const {
+                return type;
+            }
+            
             bool isStepBound() const {
                 return type ==  TimeBoundType::Steps;
             }