diff --git a/src/storm/generator/JaniNextStateGenerator.cpp b/src/storm/generator/JaniNextStateGenerator.cpp index 0c5f05619..5426f05d5 100644 --- a/src/storm/generator/JaniNextStateGenerator.cpp +++ b/src/storm/generator/JaniNextStateGenerator.cpp @@ -111,6 +111,8 @@ namespace storm { STORM_LOG_ASSERT(foundTransientVariable, "Expected to find a fitting transient variable."); } } + // Sort the reward variables to match the assignments order. + std::sort(rewardVariables.begin(), rewardVariables.end()); // Build the information structs for the reward models. buildRewardModelInformation();