removed debug output

Former-commit-id: 2b29837204
9 years ago · 5d07a840be
1 changed files with 0 additions and 1 deletions
--- a/src/modelchecker/csl/helper/HybridCtmcCslHelper.cpp
+++ b/src/modelchecker/csl/helper/HybridCtmcCslHelper.cpp
@ -269,7 +269,6 @@ namespace storm {
                
                // Then compute the state reward vector to use in the computation.
                storm::dd::Add<DdType> totalRewardVector = rewardModel.getTotalRewardVector(rateMatrix, model.getColumnVariables(), exitRateVector);
-                totalRewardVector.exportToDot("rewards.dot");
                std::vector<ValueType> explicitTotalRewardVector = totalRewardVector.template toVector<ValueType>(odd);
                
                // Finally, compute the transient probabilities.