From 8865857f21024631ef5d55155b24df0f46938dde Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Tue, 28 May 2019 13:16:24 +0200
Subject: [PATCH] Fixed awkward printing of eventually formulas with reward
 accumulations.

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

diff --git a/src/storm/logic/EventuallyFormula.cpp b/src/storm/logic/EventuallyFormula.cpp
index c8ed335e5..12a77d49b 100644
--- a/src/storm/logic/EventuallyFormula.cpp
+++ b/src/storm/logic/EventuallyFormula.cpp
@@ -57,10 +57,10 @@ namespace storm {
                 
         std::ostream& EventuallyFormula::writeToStream(std::ostream& out) const {
             out << "F ";
-            this->getSubformula().writeToStream(out);
             if (hasRewardAccumulation()) {
                 out << "[" << getRewardAccumulation() << "]";
             }
+            this->getSubformula().writeToStream(out);
             return out;
         }
     }