diff --git a/src/parser/DeterministicModelParser.cpp b/src/parser/DeterministicModelParser.cpp index 8014fa67e..e1a7864a2 100644 --- a/src/parser/DeterministicModelParser.cpp +++ b/src/parser/DeterministicModelParser.cpp @@ -56,7 +56,7 @@ DeterministicModelParserResultContainer parseDeterministicModel(std::str */ storm::models::Dtmc DeterministicModelParserAsDtmc(std::string const & transitionSystemFile, std::string const & labelingFile, std::string const & stateRewardFile, std::string const & transitionRewardFile) { - DeterministicModelParserResultContainer parserResult = parseDeterministicModel(transitionRewardFile, labelingFile, stateRewardFile, transitionRewardFile); + DeterministicModelParserResultContainer parserResult = parseDeterministicModel(transitionSystemFile, labelingFile, stateRewardFile, transitionRewardFile); return storm::models::Dtmc(parserResult.transitionSystem, parserResult.labeling, parserResult.stateRewards, parserResult.transitionRewards); } @@ -67,7 +67,7 @@ storm::models::Dtmc DeterministicModelParserAsDtmc(std::string const & t */ storm::models::Ctmc DeterministicModelParserAsCtmc(std::string const & transitionSystemFile, std::string const & labelingFile, std::string const & stateRewardFile, std::string const & transitionRewardFile) { - DeterministicModelParserResultContainer parserResult = parseDeterministicModel(transitionRewardFile, labelingFile, stateRewardFile, transitionRewardFile); + DeterministicModelParserResultContainer parserResult = parseDeterministicModel(transitionSystemFile, labelingFile, stateRewardFile, transitionRewardFile); return storm::models::Ctmc(parserResult.transitionSystem, parserResult.labeling, parserResult.stateRewards, parserResult.transitionRewards); }