From fd2e4efc0b904def633cb283c01c9b6fbbf2a3e8 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 4 Apr 2019 21:41:40 +0200
Subject: [PATCH] Fixed output of TotalRewardFormulae with non-trivial reward
 accumulation.

---
 src/storm/logic/TotalRewardFormula.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/storm/logic/TotalRewardFormula.cpp b/src/storm/logic/TotalRewardFormula.cpp
index 6136581a3..4d1df7e0d 100644
--- a/src/storm/logic/TotalRewardFormula.cpp
+++ b/src/storm/logic/TotalRewardFormula.cpp
@@ -30,6 +30,9 @@ namespace storm {
 
         std::ostream& TotalRewardFormula::writeToStream(std::ostream& out) const {
             out << "C";
+            if (hasRewardAccumulation()) {
+                out << "[" << getRewardAccumulation() << "]";
+            }
             return out;
         }
     }