From 5d07a840be443e74297971337c022a7df1052274 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Mon, 24 Aug 2015 14:37:38 +0200
Subject: [PATCH] removed debug output
Former-commit-id: 2b29837204ff4014fffb1ce4b866157e4779bcf5
---
src/modelchecker/csl/helper/HybridCtmcCslHelper.cpp | 1 -
1 file changed, 1 deletion(-)
diff --git a/src/modelchecker/csl/helper/HybridCtmcCslHelper.cpp b/src/modelchecker/csl/helper/HybridCtmcCslHelper.cpp
index 692d56629..a3e900e50 100644
--- 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.