From 10662e92eb02560fff48f55b787f37bd04d8f30a Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 20 Sep 2018 17:42:17 +0200
Subject: [PATCH] fixed an issue related to transient assignments in the
 'wrong' order

---
 src/storm/generator/JaniNextStateGenerator.cpp | 2 ++
 1 file changed, 2 insertions(+)

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();