diff --git a/src/storm-pomdp/transformer/ApplyFiniteSchedulerToPomdp.cpp b/src/storm-pomdp/transformer/ApplyFiniteSchedulerToPomdp.cpp index 22bf11cfe..b0f1837cb 100644 --- a/src/storm-pomdp/transformer/ApplyFiniteSchedulerToPomdp.cpp +++ b/src/storm-pomdp/transformer/ApplyFiniteSchedulerToPomdp.cpp @@ -122,6 +122,8 @@ namespace storm { } modelComponents.stateLabeling = pomdp.getStateLabeling(); + modelComponents.stateValuations = pomdp.getOptionalStateValuations(); + return std::make_shared>(modelComponents);