Browse Source

Fixed an ambiguous call to a constructor with initlists - poor GCC.

Former-commit-id: 8a8df68ad7
tempestpy_adaptions
PBerger 11 years ago
parent
commit
a55d5e2782
  1. 3
      src/storage/dd/CuddDd.cpp

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

Loading…
Cancel
Save