diff --git a/src/storm-pgcl/settings/modules/PGCLSettings.cpp b/src/storm-pgcl/settings/modules/PGCLSettings.cpp index 4225dcd39..c466943aa 100644 --- a/src/storm-pgcl/settings/modules/PGCLSettings.cpp +++ b/src/storm-pgcl/settings/modules/PGCLSettings.cpp @@ -43,7 +43,7 @@ namespace storm { return this->getOption(pgclToJaniOptionName).getHasOptionBeenSet(); } - std::string const& PGCLSettings::getWriteToJaniFilename() const { + std::string PGCLSettings::getWriteToJaniFilename() const { return this->getOption(pgclToJaniOptionName).getArgumentByName("filename").getValueAsString(); } diff --git a/src/storm-pgcl/settings/modules/PGCLSettings.h b/src/storm-pgcl/settings/modules/PGCLSettings.h index 5870ccbe5..8a2edf5eb 100644 --- a/src/storm-pgcl/settings/modules/PGCLSettings.h +++ b/src/storm-pgcl/settings/modules/PGCLSettings.h @@ -32,7 +32,7 @@ namespace storm { /** * returns the file name where jani output should be stored. */ - std::string const& getWriteToJaniFilename() const; + std::string getWriteToJaniFilename() const; /** * Whether the program graph should be drawn (dot output)