From 3e8959c8666932eb4381748a7d5ea5ccbee4058a Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 8 Aug 2018 15:07:28 +0200
Subject: [PATCH] DFT: fixed stringstream clearing

---
 src/storm-dft/storage/dft/DftJsonExporter.cpp | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/storm-dft/storage/dft/DftJsonExporter.cpp b/src/storm-dft/storage/dft/DftJsonExporter.cpp
index 8c76959b5..d1bf4f42d 100644
--- a/src/storm-dft/storage/dft/DftJsonExporter.cpp
+++ b/src/storm-dft/storage/dft/DftJsonExporter.cpp
@@ -82,8 +82,9 @@ namespace storm {
                 std::stringstream stream;
                 stream << be->activeFailureRate();
                 nodeData["rate"] = stream.str();
-                stream.clear();
-                stream << (be->passiveFailureRate() / be->activeFailureRate());
+                stream.str(std::string()); // Clear stringstream
+                ValueType dormancy = be->passiveFailureRate() / be->activeFailureRate();
+                stream << dormancy;
                 nodeData["dorm"] = stream.str();
             }