From d28c982fbdf71bb1973885b9da23d7620009660a Mon Sep 17 00:00:00 2001
From: Alexander Bork <alexander.bork@rwth-aachen.de>
Date: Wed, 18 Mar 2020 14:37:15 +0100
Subject: [PATCH] Fix for missing initial belief ID in return struct

---
 src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp b/src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp
index 9f6a64ec0..16d7f8b71 100644
--- a/src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp
+++ b/src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp
@@ -835,8 +835,8 @@ namespace storm {
                 return std::make_shared<RefinementComponents<ValueType>>(
                         RefinementComponents<ValueType>{modelPtr, overApprox, underApproxComponents->underApproxValue, overApproxResultMap,
                                                         underApproxComponents->underApproxMap, refinementComponents->beliefList, refinementComponents->beliefGrid,
-                                                        refinementComponents->beliefIsTarget,
-                                                        refinementComponents->overApproxBeliefStateMap, underApproxComponents->underApproxBeliefStateMap});
+                                                        refinementComponents->beliefIsTarget, refinementComponents->overApproxBeliefStateMap,
+                                                        underApproxComponents->underApproxBeliefStateMap, refinementComponents->initialBeliefId});
             }
 
             template<typename ValueType, typename RewardModelType>