From 7845a52ef4cb89e1ff884aba30baacd5b440bb26 Mon Sep 17 00:00:00 2001
From: PBerger <philipp.berger@rwth-aachen.de>
Date: Sat, 29 Mar 2014 23:45:46 +0100
Subject: [PATCH] Fixed a human error. Fixed the same ambiguous call error in
 the second place.

Former-commit-id: b9fff85b677921ede4553944075fd045ada50573
---
 src/storage/dd/CuddDd.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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);
             }