Fixed iteration over all labels

5 years ago · e490a0ba52
1 changed files with 1 additions and 1 deletions
--- a/src/storm/transformer/NonMarkovianChainTransformer.cpp
+++ b/src/storm/transformer/NonMarkovianChainTransformer.cpp
@ -205,7 +205,7 @@ namespace storm {
            storm::storage::SparseMatrixBuilder<ValueType> matrixBuilder = storm::storage::SparseMatrixBuilder<ValueType>(
                    0, 0, 0, false, true, 0);

-            for (auto const &label : ma->getStateLabeling()) {
+            for (auto const &label : ma->getStateLabeling().getLabels()) {
                if (!newStateLabeling.containsLabel(label)) {
                    newStateLabeling.addLabel(label);
                }