From a7f847d4e1d7f9c3347010a56081507e327b3d6a Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Mon, 8 Jun 2020 15:57:05 +0200
Subject: [PATCH] KnownProbabilityTransformer: Removed output of model info to
 std::cout

---
 src/storm-pomdp/transformer/KnownProbabilityTransformer.cpp | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/src/storm-pomdp/transformer/KnownProbabilityTransformer.cpp b/src/storm-pomdp/transformer/KnownProbabilityTransformer.cpp
index 7b4f59cf6..5398d59db 100644
--- a/src/storm-pomdp/transformer/KnownProbabilityTransformer.cpp
+++ b/src/storm-pomdp/transformer/KnownProbabilityTransformer.cpp
@@ -109,10 +109,7 @@ namespace storm {
                 storm::storage::sparse::ModelComponents<ValueType> components(newTransitionMatrix, newLabeling);
                 components.observabilityClasses = newObservations;
 
-                auto newPomdp = storm::models::sparse::Pomdp<ValueType>(components, true);
-
-                newPomdp.printModelInformationToStream(std::cout);
-                return std::make_shared<storm::models::sparse::Pomdp<ValueType>>(newPomdp);
+                return std::make_shared<storm::models::sparse::Pomdp<ValueType>>(std::move(components), true);
             }
 
             template class KnownProbabilityTransformer<double>;