From 77dfa608734d280eb717cdde8c562dd466cb471c Mon Sep 17 00:00:00 2001
From: Filip Macak <filip.macak1999@gmail.com>
Date: Mon, 25 Nov 2024 12:57:19 +0100
Subject: [PATCH] Fix for MDP counter examples

---
 payntbind/src/synthesis/counterexamples/CounterexampleMdp.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/payntbind/src/synthesis/counterexamples/CounterexampleMdp.cpp b/payntbind/src/synthesis/counterexamples/CounterexampleMdp.cpp
index a1a05dcb..c739a3db 100644
--- a/payntbind/src/synthesis/counterexamples/CounterexampleMdp.cpp
+++ b/payntbind/src/synthesis/counterexamples/CounterexampleMdp.cpp
@@ -466,7 +466,7 @@ std::pair<bool,bool> CounterexampleGeneratorMdp<ValueType,StateType>::expandAndC
     this->timer_model_check.stop();
     storm::modelchecker::ExplicitQuantitativeCheckResult<ValueType>& model_check_result = this->hint_result->template asExplicitQuantitativeCheckResult<ValueType>();
 
-    auto comparisonType = this->formula_modified[index]->asOperatorFormula().getComparisonType();
+    auto comparisonType = this->formula_modified[formula_index]->asOperatorFormula().getComparisonType();
 
     bool satisfied;
     if(this->formula_safety[formula_index]) {