From e04cc99931728084194c2850641da1e41b6cc6a5 Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Fri, 29 Jan 2016 10:28:38 +0100
Subject: [PATCH] Removed debug output

Former-commit-id: ca149a082fc89dfdecfafe6514acd8f9e4f401da
---
 src/modelchecker/csl/helper/SparseCtmcCslHelper.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/modelchecker/csl/helper/SparseCtmcCslHelper.cpp b/src/modelchecker/csl/helper/SparseCtmcCslHelper.cpp
index 78f48a173..a8471c990 100644
--- a/src/modelchecker/csl/helper/SparseCtmcCslHelper.cpp
+++ b/src/modelchecker/csl/helper/SparseCtmcCslHelper.cpp
@@ -657,7 +657,6 @@ namespace storm {
                 // Initialize rewards.
                 std::vector<ValueType> totalRewardVector;
                 for (size_t i = 0; i < exitRateVector.size(); ++i) {
-                    std::cout << i << std::endl;
                     if (targetStates[i]) {
                         // Set reward for target states to 0.
                         totalRewardVector.push_back(storm::utility::zero<ValueType>());