From 498067816dd5196f5d77dbea1f9664806b28215f Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Sun, 24 May 2020 11:19:27 -0700
Subject: [PATCH] fix stupid mistake that made subsequent searches mostly unsat
 by setting scheduler var to wrong value

---
 src/storm-pomdp/analysis/MemlessStrategySearchQualitative.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm-pomdp/analysis/MemlessStrategySearchQualitative.cpp b/src/storm-pomdp/analysis/MemlessStrategySearchQualitative.cpp
index eb05be797..cb560a765 100644
--- a/src/storm-pomdp/analysis/MemlessStrategySearchQualitative.cpp
+++ b/src/storm-pomdp/analysis/MemlessStrategySearchQualitative.cpp
@@ -645,7 +645,7 @@ namespace storm {
                     for (auto obs : newObservationsAfterSwitch) {
                         observationsAfterSwitch.set(obs);
                         scheduler.schedulerRef[obs] = model->getIntegerValue(schedulerVariables[obs]);
-                        smtSolver->add(schedulerVariableExpressions[obs] == expressionManager->integer(scheduler.schedulerRef.back()));
+                        smtSolver->add(schedulerVariableExpressions[obs] == expressionManager->integer(scheduler.schedulerRef[obs]));
                     }
 
                     if(options.computeTraceOutput()) {