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 rowMapping; boost::optional> stateRewards; boost::optional> transitionRewards; - NondeterministicModelParserResultContainer(storm::storage::SparseMatrix transitionSystem, std::vector rowMapping, storm::models::AtomicPropositionsLabeling labeling) : transitionSystem(transitionSystem), rowMapping(rowMapping), labeling(labeling) { } + NondeterministicModelParserResultContainer(storm::storage::SparseMatrix transitionSystem, std::vector rowMapping, storm::models::AtomicPropositionsLabeling labeling) : transitionSystem(transitionSystem), labeling(labeling), rowMapping(rowMapping) { } private: NondeterministicModelParserResultContainer() {} };