diff --git a/src/storm-gspn/storage/gspn/GSPN.cpp b/src/storm-gspn/storage/gspn/GSPN.cpp index c622cc4fe..7b623b9de 100644 --- a/src/storm-gspn/storage/gspn/GSPN.cpp +++ b/src/storm-gspn/storage/gspn/GSPN.cpp @@ -433,6 +433,7 @@ namespace storm { stream << space3 << " 0) { stream << "x=\"" << transitionLayout.at(trans.getID()).x << "\" "; stream << "y=\"" << transitionLayout.at(trans.getID()).y << "\" ";