From 93f385a3991c50213bd7e73843900e7dec199bee Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Mon, 14 Aug 2017 14:53:25 +0200
Subject: [PATCH] remove debug output

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

diff --git a/src/storm/storage/dd/bisimulation/QuotientExtractor.cpp b/src/storm/storage/dd/bisimulation/QuotientExtractor.cpp
index 5bde87f0a..2a52fde56 100644
--- a/src/storm/storage/dd/bisimulation/QuotientExtractor.cpp
+++ b/src/storm/storage/dd/bisimulation/QuotientExtractor.cpp
@@ -197,9 +197,6 @@ namespace storm {
                 storm::storage::SparseMatrix<ValueType> extractTransitionMatrix(storm::dd::Add<storm::dd::DdType::CUDD, ValueType> const& transitionMatrix, Partition<storm::dd::DdType::CUDD, ValueType> const& partition) {
                     STORM_LOG_ASSERT(partition.storedAsAdd(), "Expected partition stored as ADD.");
                     
-                    transitionMatrix.exportToDot("trans.dot");
-                    partition.asAdd().exportToDot("part.dot");
-                    
                     // Create the number of rows necessary for the matrix.
                     this->reserveMatrixEntries(partition.getNumberOfBlocks());
                     STORM_LOG_TRACE("Partition has " << partition.getNumberOfStates() << " states in " << partition.getNumberOfBlocks() << " blocks.");