From 7f799ecb2819c3fe2845020c7e2499cb8e7b62a7 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 19 Sep 2018 14:39:10 +0200
Subject: [PATCH] Fixed return of local variable

---
 src/storm-pgcl/settings/modules/PGCLSettings.cpp | 2 +-
 src/storm-pgcl/settings/modules/PGCLSettings.h   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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)