From 5bb76eb12ed9f9c5c693dcc0a767c7df6529aaaa Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Tue, 22 Jul 2014 18:41:00 +0200
Subject: [PATCH] Bugfix for storm::utility::vector::reduceVector to correctly
 compute which choices were taken to achieve extremal values.

Former-commit-id: c200835cf5e50d2e6e824da6b243134668967875
---
 src/utility/vector.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/utility/vector.h b/src/utility/vector.h
index 82913a902..811e561be 100644
--- a/src/utility/vector.h
+++ b/src/utility/vector.h
@@ -237,7 +237,7 @@ namespace storm {
                                       for (; targetIt != targetIte; ++targetIt, ++rowGroupingIt) {
                                           *targetIt = *sourceIt;
                                           ++sourceIt;
-                                          localChoice = 0;
+                                          localChoice = 1;
                                           if (choices != nullptr) {
                                               *choiceIt = 0;
                                           }
@@ -271,7 +271,7 @@ namespace storm {
                 for (; targetIt != targetIte; ++targetIt, ++rowGroupingIt) {
                     *targetIt = *sourceIt;
                     ++sourceIt;
-                    localChoice = 0;
+                    localChoice = 1;
                     if (choices != nullptr) {
                         *choiceIt = 0;
                     }