From 876b147aa8a5123ffa1d8b4e86b3935d110479aa Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Thu, 27 Oct 2016 16:55:50 +0200
Subject: [PATCH] Fixed bug with iterator

Former-commit-id: f7248a57c175d5ee47d5929fd739187c59507118
---
 src/builder/ExplicitDFTModelBuilderApprox.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/builder/ExplicitDFTModelBuilderApprox.cpp b/src/builder/ExplicitDFTModelBuilderApprox.cpp
index 5a3e65585..ac61efc0f 100644
--- a/src/builder/ExplicitDFTModelBuilderApprox.cpp
+++ b/src/builder/ExplicitDFTModelBuilderApprox.cpp
@@ -153,7 +153,8 @@ namespace storm {
             auto iterSkipped = skippedStates.begin();
             size_t skippedBefore = 0;
             for (size_t i = 0; i < indexRemapping.size(); ++i) {
-                while (iterSkipped->first <= i) {
+                while (iterSkipped != skippedStates.end() && iterSkipped->first <= i) {
+                    STORM_LOG_ASSERT(iterSkipped->first < indexRemapping.size(), "Skipped is too high.");
                     ++skippedBefore;
                     ++iterSkipped;
                 }