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{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