From a55d5e27828962883583204ad1a4960fab9bbe0f Mon Sep 17 00:00:00 2001
From: PBerger <philipp.berger@rwth-aachen.de>
Date: Sat, 29 Mar 2014 23:40:41 +0100
Subject: [PATCH] Fixed an ambiguous call to a constructor with initlists -
 poor GCC.

Former-commit-id: 8a8df68ad703b7c11135acc43e345cbe494e7997
---
 src/storage/dd/CuddDd.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/storage/dd/CuddDd.cpp b/src/storage/dd/CuddDd.cpp
index d2c69c3c5..2560e1db0 100644
--- a/src/storage/dd/CuddDd.cpp
+++ b/src/storage/dd/CuddDd.cpp
@@ -358,7 +358,8 @@ namespace storm {
                 this->getDdManager()->getCuddManager().DumpDot({this->cuddAdd});
             } else {
                 FILE* filePointer = fopen(filename.c_str() , "w");
-                this->getDdManager()->getCuddManager().DumpDot({this->cuddAdd}, nullptr, nullptr, filePointer);
+				std::vector<ADD> cuddAddVector = { this->cuddAdd };
+				this->getDdManager()->getCuddManager().DumpDot(cuddAddVector, nullptr, nullptr, filePointer);
                 fclose(filePointer);
             }
         }