From 16ad9d3a833dbd5b8287cae9c405b1f2416a6aa5 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Mon, 27 Apr 2020 12:38:24 +0200
Subject: [PATCH] fixed storm-pomdp output a little.

---
 src/storm-pomdp-cli/storm-pomdp.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/storm-pomdp-cli/storm-pomdp.cpp b/src/storm-pomdp-cli/storm-pomdp.cpp
index 2aa7b659a..d2f139a58 100644
--- a/src/storm-pomdp-cli/storm-pomdp.cpp
+++ b/src/storm-pomdp-cli/storm-pomdp.cpp
@@ -287,20 +287,20 @@ namespace storm {
                     // Note that formulaInfo contains state-based information which potentially needs to be updated during preprocessing
                     if (performPreprocessing<ValueType, DdType>(pomdp, formulaInfo, *formula)) {
                         sw.stop();
-                        STORM_PRINT_AND_LOG("Time for graph-based POMDP (pre-)processing: " << sw << "s." << std::endl);
+                        STORM_PRINT_AND_LOG("Time for graph-based POMDP (pre-)processing: " << sw << "." << std::endl);
                         pomdp->printModelInformationToStream(std::cout);
                     }
                     
                     sw.restart();
                     if (performAnalysis<ValueType, DdType>(pomdp, formulaInfo, *formula)) {
                         sw.stop();
-                        STORM_PRINT_AND_LOG("Time for POMDP analysis: " << sw << "s." << std::endl);
+                        STORM_PRINT_AND_LOG("Time for POMDP analysis: " << sw << "." << std::endl);
                     }
                     
                     sw.restart();
                     if (performTransformation<ValueType, DdType>(pomdp, *formula)) {
                         sw.stop();
-                        STORM_PRINT_AND_LOG("Time for POMDP transformation(s): " << sw << "s." << std::endl);
+                        STORM_PRINT_AND_LOG("Time for POMDP transformation(s): " << sw << "." << std::endl);
                     }
                 } else {
                     STORM_LOG_WARN("Nothing to be done. Did you forget to specify a formula?");