diff --git a/src/utility/ExplicitExporter.cpp b/src/utility/ExplicitExporter.cpp index c29684fad..bf9bcbf29 100644 --- a/src/utility/ExplicitExporter.cpp +++ b/src/utility/ExplicitExporter.cpp @@ -78,9 +78,10 @@ namespace storm { typename storm::storage::SparseMatrix::index_type start = matrix.hasTrivialRowGrouping() ? group : matrix.getRowGroupIndices()[group]; typename storm::storage::SparseMatrix::index_type end = matrix.hasTrivialRowGrouping() ? group + 1 : matrix.getRowGroupIndices()[group + 1]; + for (typename storm::storage::SparseMatrix::index_type i = start; i < end; ++i) { // Print the actual row. - os << "\taction"; + os << "\taction " << i - start; if (!embedded) { bool first = true; for (auto const& rewardModelEntry : sparseModel->getRewardModels()) {