diff --git a/src/storm/storage/prism/Program.h b/src/storm/storage/prism/Program.h index 095f164ff..56610556f 100644 --- a/src/storm/storage/prism/Program.h +++ b/src/storm/storage/prism/Program.h @@ -757,18 +757,18 @@ namespace storm { // A mapping of formula names to their corresponding indices. std::map formulaToIndexMap; - // The modules associated with the program. - std::vector modules; - - // A mapping of module names to their indices. - std::map moduleToIndexMap; - // The players associated with the program. std::vector players; // A mapping of player names to their indices. std::map playerToIndexMap; + // The modules associated with the program. + std::vector modules; + + // A mapping of module names to their indices. + std::map moduleToIndexMap; + // The reward models associated with the program. std::vector rewardModels;