From 2225ebcbe8d3e1aba9bf26870e56a37cf0f04e0b Mon Sep 17 00:00:00 2001
From: Stefan Pranger <stefan.pranger@student.tugraz.at>
Date: Mon, 23 Nov 2020 14:25:35 +0100
Subject: [PATCH] fix reorder warning

---
 src/storm/storage/prism/Program.h | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

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<std::string, uint_fast64_t> formulaToIndexMap;
 
-            // The modules associated with the program.
-            std::vector<Module> modules;
-
-            // A mapping of module names to their indices.
-            std::map<std::string, uint_fast64_t> moduleToIndexMap;
-
             // The players associated with the program.
             std::vector<Player> players;
 
             // A mapping of player names to their indices.
             std::map<std::string, uint_fast64_t> playerToIndexMap;
 
+            // The modules associated with the program.
+            std::vector<Module> modules;
+
+            // A mapping of module names to their indices.
+            std::map<std::string, uint_fast64_t> moduleToIndexMap;
+
             // The reward models associated with the program.
             std::vector<RewardModel> rewardModels;