From 1c20abc1b56e2d96be22412d14c5d14afd5c621e Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Mon, 27 Aug 2018 16:48:22 +0200
Subject: [PATCH] Fixed return

---
 src/storm-gspn/builder/JaniGSPNBuilder.cpp | 3 ++-
 src/storm-gspn/builder/JaniGSPNBuilder.h   | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/storm-gspn/builder/JaniGSPNBuilder.cpp b/src/storm-gspn/builder/JaniGSPNBuilder.cpp
index 6eedf8458..fe78746a5 100644
--- a/src/storm-gspn/builder/JaniGSPNBuilder.cpp
+++ b/src/storm-gspn/builder/JaniGSPNBuilder.cpp
@@ -264,7 +264,7 @@ namespace storm {
             return res;
         }
 
-        std::vector<storm::jani::Property> const& JaniGSPNBuilder::getStandardProperties(storm::jani::Model* model, std::shared_ptr<storm::logic::AtomicExpressionFormula> atomicFormula, std::string name, std::string description, bool maximal) {
+        std::vector<storm::jani::Property> JaniGSPNBuilder::getStandardProperties(storm::jani::Model* model, std::shared_ptr<storm::logic::AtomicExpressionFormula> atomicFormula, std::string name, std::string description, bool maximal) {
             std::vector<storm::jani::Property> standardProperties;
             std::string dirShort = maximal ? "Max" : "Min";
             std::string dirLong = maximal ? "maximal" : "minimal";
@@ -300,6 +300,7 @@ namespace storm {
                     std::make_shared<storm::logic::EventuallyFormula>(atomicFormula, storm::logic::FormulaContext::Time),
                     storm::logic::OperatorInformation(optimizationDirection));
             standardProperties.emplace_back(dirShort + "ExpTime" + name, expTimeFormula, "The " + dirLong + " expected time to reach " + description + ".");
+            return standardProperties;
         }
 
         std::vector<storm::jani::Property> const& JaniGSPNBuilder::getDeadlockProperties(storm::jani::Model* model) {
diff --git a/src/storm-gspn/builder/JaniGSPNBuilder.h b/src/storm-gspn/builder/JaniGSPNBuilder.h
index 8a5d07405..6d4b795d8 100644
--- a/src/storm-gspn/builder/JaniGSPNBuilder.h
+++ b/src/storm-gspn/builder/JaniGSPNBuilder.h
@@ -27,7 +27,7 @@ namespace storm {
             /*!
              * Get standard properties (reachability, time bounded reachability, expected time) for a given atomic formula.
              */
-            std::vector<storm::jani::Property> const& getStandardProperties(storm::jani::Model* model, std::shared_ptr<storm::logic::AtomicExpressionFormula> atomicFormula, std::string name, std::string description, bool maximal);
+            std::vector<storm::jani::Property> getStandardProperties(storm::jani::Model* model, std::shared_ptr<storm::logic::AtomicExpressionFormula> atomicFormula, std::string name, std::string description, bool maximal);
 
             /*!
              * Get standard properties (reachability, time bounded reachability, expected time) for deadlocks.