diff --git a/src/storm-gspn/storage/gspn/GSPN.cpp b/src/storm-gspn/storage/gspn/GSPN.cpp index 74f5983ae..19f598c17 100644 --- a/src/storm-gspn/storage/gspn/GSPN.cpp +++ b/src/storm-gspn/storage/gspn/GSPN.cpp @@ -408,6 +408,7 @@ namespace storm { for (auto& trans : immediateTransitions) { stream << space3 << "" << std::endl;