From c1afe65d5c1c2c7f853e0255ea8416c252badd6e Mon Sep 17 00:00:00 2001
From: PBerger <philipp.berger@rwth-aachen.de>
Date: Thu, 13 Jun 2013 16:05:54 +0200
Subject: [PATCH] Fixed an initializer-list ordering

Former-commit-id: c54559eac0ffd1282a4a8ab5a01ad97e2bcbab62
---
 src/parser/NondeterministicModelParser.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/parser/NondeterministicModelParser.h b/src/parser/NondeterministicModelParser.h
index c74efc8f6..0f47cd084 100644
--- a/src/parser/NondeterministicModelParser.h
+++ b/src/parser/NondeterministicModelParser.h
@@ -42,7 +42,7 @@ public:
 	std::vector<uint_fast64_t> rowMapping;
 	boost::optional<std::vector<T>> stateRewards;
 	boost::optional<storm::storage::SparseMatrix<T>> transitionRewards;
-	NondeterministicModelParserResultContainer(storm::storage::SparseMatrix<T> transitionSystem, std::vector<uint_fast64_t> rowMapping, storm::models::AtomicPropositionsLabeling labeling) : transitionSystem(transitionSystem), rowMapping(rowMapping), labeling(labeling) { }
+	NondeterministicModelParserResultContainer(storm::storage::SparseMatrix<T> transitionSystem, std::vector<uint_fast64_t> rowMapping, storm::models::AtomicPropositionsLabeling labeling) : transitionSystem(transitionSystem), labeling(labeling), rowMapping(rowMapping) { }
 private:
 	NondeterministicModelParserResultContainer() {}
 };