From 63f55b38f0af79f797fd800a9473fc72f6373eb5 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Sun, 1 Jun 2014 14:14:25 +0200
Subject: [PATCH] Removed debug output that was - of course - never there. (You
 saw nothing!)

Former-commit-id: 9249928f54197fc63273b5b004f83f0f11fa11d4
---
 src/storage/dd/CuddDd.cpp | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/storage/dd/CuddDd.cpp b/src/storage/dd/CuddDd.cpp
index e5f62f80d..6c9077184 100644
--- a/src/storage/dd/CuddDd.cpp
+++ b/src/storage/dd/CuddDd.cpp
@@ -522,9 +522,6 @@ namespace storm {
             // Note that we first transform the ADD into a BDD to convert all non-zero terminals to ones and therefore
             // make the DD more compact.
             Dd<DdType::CUDD> tmp(this->getDdManager(), this->getCuddAdd().BddPattern().Add(), this->getContainedMetaVariableNames());
-            tmp.exportToDot("tmp.dot");
-            
-            
             return getMintermExpressionRecur(this->getDdManager()->getCuddManager().getManager(), this->getCuddAdd().BddPattern().getNode(), this->getDdManager()->getDdVariableNames());
         }