From 1a18ea3aec24bf530f6feb3a23754fe207336bf3 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@rwth-aachen.de>
Date: Tue, 14 Jun 2016 11:14:16 +0200
Subject: [PATCH] fixed the case where a maximal end componend decomposition is
 requested for an empty subsystem

Former-commit-id: 96ba0262ce530314cf1957fc0dfd4e8a011e5819
---
 src/storage/MaximalEndComponentDecomposition.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/storage/MaximalEndComponentDecomposition.cpp b/src/storage/MaximalEndComponentDecomposition.cpp
index 0b9995c08..d977b54d0 100644
--- a/src/storage/MaximalEndComponentDecomposition.cpp
+++ b/src/storage/MaximalEndComponentDecomposition.cpp
@@ -65,7 +65,9 @@ namespace storm {
             
             // Initialize the maximal end component list to be the full state space.
             std::list<StateBlock> endComponentStateSets;
-            endComponentStateSets.emplace_back(subsystem.begin(), subsystem.end());
+            if(!subsystem.empty()) {
+                endComponentStateSets.emplace_back(subsystem.begin(), subsystem.end());
+            }
             storm::storage::BitVector statesToCheck(numberOfStates);
             
             // The iterator used here should really be a const_iterator.