From fd86d430ae308d68cb6f104a60bdde00e06c332e Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Mon, 7 Sep 2015 21:56:52 +0200
Subject: [PATCH] minor fix

Former-commit-id: f5e5f0fde5b19318cb9dec35b352728fee27eed6
---
 src/solver/GameSolver.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/solver/GameSolver.cpp b/src/solver/GameSolver.cpp
index cc9e83916..ea87aa10b 100644
--- a/src/solver/GameSolver.cpp
+++ b/src/solver/GameSolver.cpp
@@ -42,7 +42,7 @@ namespace storm {
                     uint_fast64_t startRow = player1Matrix.getRowGroupIndices()[pl1State];
                     uint_fast64_t endRow = player1Matrix.getRowGroupIndices()[pl1State + 1];
 
-                    storm::storage::SparseMatrix<storm::storage::sparse::state_type>::const_rows relevantRows = player1Matrix.getRows(startRow, endRow - 1);
+                    storm::storage::SparseMatrix<storm::storage::sparse::state_type>::const_rows relevantRows = player1Matrix.getRowGroup(pl1State);
                     storm::storage::SparseMatrix<storm::storage::sparse::state_type>::const_iterator it = relevantRows.begin();
                     storm::storage::SparseMatrix<storm::storage::sparse::state_type>::const_iterator ite = relevantRows.end();