From e490a0ba52a915e9a93e04ed62758d50670f6025 Mon Sep 17 00:00:00 2001
From: Alexander Bork <alexander.bork@rwth-aachen.de>
Date: Tue, 7 Jan 2020 14:29:45 +0100
Subject: [PATCH] Fixed iteration over all labels

---
 src/storm/transformer/NonMarkovianChainTransformer.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/transformer/NonMarkovianChainTransformer.cpp b/src/storm/transformer/NonMarkovianChainTransformer.cpp
index 2b77b69dc..03cdb4a63 100644
--- 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);
                 }