From 5856d9fe51161f05f12ce156eb762a8180ffcffa Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Thu, 24 Aug 2017 12:48:37 +0200
Subject: [PATCH] removed some debug output

---
 src/storm/storage/dd/bisimulation/MdpPartitionRefiner.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/storm/storage/dd/bisimulation/MdpPartitionRefiner.cpp b/src/storm/storage/dd/bisimulation/MdpPartitionRefiner.cpp
index bda068db9..a79c67720 100644
--- a/src/storm/storage/dd/bisimulation/MdpPartitionRefiner.cpp
+++ b/src/storm/storage/dd/bisimulation/MdpPartitionRefiner.cpp
@@ -51,8 +51,6 @@ namespace storm {
             template<storm::dd::DdType DdType, typename ValueType>
             bool MdpPartitionRefiner<DdType, ValueType>::refineWrtStateActionRewards(storm::dd::Add<DdType, ValueType> const& stateActionRewards) {
                 STORM_LOG_TRACE("Refining with respect to state-action rewards.");
-                stateActionRewards.exportToDot("stateactrew.dot", false);
-                this->choicePartition.asAdd().exportToDot("choicepart.dot");
                 Partition<DdType, ValueType> newChoicePartition = this->signatureRefiner.refine(this->choicePartition, Signature<DdType, ValueType>(stateActionRewards));
                 if (newChoicePartition == this->choicePartition) {
                     return false;