From 5616004e6ee3da42ea31c6a0c647a1fa6649ce85 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Fri, 24 Jun 2016 20:41:29 +0200
Subject: [PATCH] remove debug output

Former-commit-id: 0ae7597785bb7193c770e8078b025b2166f98902
---
 src/modelchecker/results/ExplicitQuantitativeCheckResult.cpp | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/modelchecker/results/ExplicitQuantitativeCheckResult.cpp b/src/modelchecker/results/ExplicitQuantitativeCheckResult.cpp
index d5385461c..652c094a5 100644
--- a/src/modelchecker/results/ExplicitQuantitativeCheckResult.cpp
+++ b/src/modelchecker/results/ExplicitQuantitativeCheckResult.cpp
@@ -60,10 +60,7 @@ namespace storm {
 
             if (this->isResultForAllStates()) {
                 map_type newMap;
-                std::cout << filterTruthValues << std::endl;
                 for (auto const& element : filterTruthValues) {
-                    std::cout << element << std::endl;
-                    std::cout << this->getValueVector().size() << std::endl;
                     STORM_LOG_THROW(element < this->getValueVector().size(), storm::exceptions::InvalidAccessException, "Invalid index in results.");
                     newMap.emplace(element, this->getValueVector()[element]);
                 }