From 4b406c5e74860e4f81b41631bb77721e997e384e Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@web.de>
Date: Wed, 15 Jun 2016 13:26:52 +0200
Subject: [PATCH] bugfix

Former-commit-id: 5134b17c0b86ae9d2a79c0be88bd8932dc1b502c
---
 src/transformer/NeutralECRemover.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/transformer/NeutralECRemover.h b/src/transformer/NeutralECRemover.h
index 52de167e8..26edc028a 100644
--- a/src/transformer/NeutralECRemover.h
+++ b/src/transformer/NeutralECRemover.h
@@ -80,7 +80,7 @@ namespace storm {
                     if(ecGetsEmptyRow) {
                         STORM_LOG_ASSERT(result.newToOldRowMapping.size() < originalMatrix.getRowCount(), "Didn't expect to see more rows in the reduced matrix than in the original one.");
                         emptyRows.set(result.newToOldRowMapping.size(), true);
-                        result.newToOldRowMapping.push_back(originalMatrix.getRowGroupIndices()[ec.begin()->first] + (*ec.begin()->second.begin()));
+                        result.newToOldRowMapping.push_back(*ec.begin()->second.begin());
                     }
                 }
                 newRowGroupIndices.push_back(result.newToOldRowMapping.size());