From 42ceed59c6f58f793913cfc7b802418767576326 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Fri, 4 Sep 2020 16:16:16 +0200
Subject: [PATCH] Removed debug output.

---
 .../instantiation/SparseMdpInstantiationModelChecker.cpp        | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/storm-pars/modelchecker/instantiation/SparseMdpInstantiationModelChecker.cpp b/src/storm-pars/modelchecker/instantiation/SparseMdpInstantiationModelChecker.cpp
index 38860ef77..6bbbaa158 100644
--- a/src/storm-pars/modelchecker/instantiation/SparseMdpInstantiationModelChecker.cpp
+++ b/src/storm-pars/modelchecker/instantiation/SparseMdpInstantiationModelChecker.cpp
@@ -64,10 +64,8 @@ namespace storm {
                     newCheckTask.setProduceSchedulers(false);
                     qualitativeResult = modelChecker.computeProbabilities(env, newCheckTask)->template asExplicitQuantitativeCheckResult<ConstantType>().getValueVector();
                 }
-                std::cout << storm::utility::vector::toString(qualitativeResult) << std::endl;
                 storm::storage::BitVector maybeStates = storm::utility::vector::filter<ConstantType>(qualitativeResult,
                                 [] (ConstantType const& value) -> bool { return !(storm::utility::isZero<ConstantType>(value) || storm::utility::isOne<ConstantType>(value)); });
-                std::cout <<maybeStates << std::endl;
                 hint.setMaybeStates(std::move(maybeStates));
                 hint.setResultHint(std::move(qualitativeResult));
                 hint.setComputeOnlyMaybeStates(true);