@ -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();
@ -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)