Browse Source

Fixed compile error in output function

Former-commit-id: e5e7f2e93f
tempestpy_adaptions
sjunges 9 years ago
parent
commit
ae759d0496
  1. 2
      src/storage/jani/RenameComposition.cpp

2
src/storage/jani/RenameComposition.cpp

@ -27,7 +27,7 @@ namespace storm {
std::stringstream stream;
stream << entry.first << " -> ";
if (entry.second) {
stream << entry.second;
stream << entry.second.get();
} else {
stream << "tau";
}

Loading…
Cancel
Save