fix reorder warning

src/storm/storage/prism/Program.h

@@ -345,19 +345,19 @@ namespace storm {
              * @return Retrieves the mapping of player names to their indices.
              */
             std::map<std::string, storm::storage::PlayerIndex> const& getPlayerNameToIndexMapping() const;
-            
+
             /*!
              * Retrieves a vector whose i'th entry corresponds to the player controlling module i.
              * Modules that are not controlled by any player will get assigned INVALID_PLAYER_INDEX
              */
             std::vector<storm::storage::PlayerIndex> buildModuleIndexToPlayerIndexMap() const;
-            
+
             /*!
              * Retrieves a vector whose i'th entry corresponds to the player controlling action with index i.
              * Actions that are not controlled by any player (in particular the silent action) will get assigned INVALID_PLAYER_INDEX.
              */
             std::map<uint_fast64_t, storm::storage::PlayerIndex> buildActionIndexToPlayerIndexMap() const;
-            
+
             /*!
              * Retrieves the mapping of action names to their indices.
              *