From c0d364cf1b7fe0536f2069430c11351c56a8d8b1 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 19 Jul 2017 19:15:41 +0200
Subject: [PATCH] fixed a warning

---
 src/storm/storage/memorystructure/SparseModelMemoryProduct.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/storage/memorystructure/SparseModelMemoryProduct.cpp b/src/storm/storage/memorystructure/SparseModelMemoryProduct.cpp
index 58f773cfe..1d1d7f77c 100644
--- a/src/storm/storage/memorystructure/SparseModelMemoryProduct.cpp
+++ b/src/storm/storage/memorystructure/SparseModelMemoryProduct.cpp
@@ -248,7 +248,7 @@ namespace storm {
                     uint64_t modelRow = model.getTransitionMatrix().getRowGroupIndices()[modelState];
                     uint64_t groupEnd = model.getTransitionMatrix().getRowGroupIndices()[modelState + 1];
                     hasTrivialNondeterminism = hasTrivialNondeterminism && (groupEnd == modelRow + 1);
-                    for (; groupEnd; ++modelRow) {
+                    for (; modelRow < groupEnd; ++modelRow) {
                         ++numResChoices;
                         numResTransitions += model.getTransitionMatrix().getRow(modelRow).getNumberOfEntries();
                     }