diff --git a/src/storage/dd/CuddDd.cpp b/src/storage/dd/CuddDd.cpp
index 2560e1db0..97ca50507 100644
--- a/src/storage/dd/CuddDd.cpp
+++ b/src/storage/dd/CuddDd.cpp
@@ -354,11 +354,11 @@ namespace storm {
         }
         
         void Dd<CUDD>::exportToDot(std::string const& filename) const {
-            if (filename.empty()) {
-                this->getDdManager()->getCuddManager().DumpDot({this->cuddAdd});
+			std::vector<ADD> cuddAddVector = { this->cuddAdd };
+			if (filename.empty()) {
+				this->getDdManager()->getCuddManager().DumpDot(cuddAddVector);
             } else {
                 FILE* filePointer = fopen(filename.c_str() , "w");
-				std::vector<ADD> cuddAddVector = { this->cuddAdd };
 				this->getDdManager()->getCuddManager().DumpDot(cuddAddVector, nullptr, nullptr, filePointer);
                 fclose(filePointer);
             }