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 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());