From 8a23197a77f62b7e3139541ea7fa3ce10205007f Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 31 Jul 2019 19:02:36 +0200
Subject: [PATCH] Fix for LRA scheduler generation.

---
 src/storm/modelchecker/prctl/helper/SparseMdpPrctlHelper.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/modelchecker/prctl/helper/SparseMdpPrctlHelper.cpp b/src/storm/modelchecker/prctl/helper/SparseMdpPrctlHelper.cpp
index bb6b77170..f970244d1 100644
--- a/src/storm/modelchecker/prctl/helper/SparseMdpPrctlHelper.cpp
+++ b/src/storm/modelchecker/prctl/helper/SparseMdpPrctlHelper.cpp
@@ -1467,7 +1467,7 @@ namespace storm {
                         }
                     }
                     if (scheduler) {
-                        scheduler->setChoice(*choiceIt - transitionMatrix.getRowGroupIndices()[state], state);
+                        scheduler->setChoice(bestChoice - transitionMatrix.getRowGroupIndices()[state], state);
                     }
                     return result;
                 }