diff --git a/src/storm/modelchecker/multiobjective/deterministicScheds/DeterministicSchedsParetoExplorer.cpp b/src/storm/modelchecker/multiobjective/deterministicScheds/DeterministicSchedsParetoExplorer.cpp index b99a6b5c7..046ddcd66 100644 --- a/src/storm/modelchecker/multiobjective/deterministicScheds/DeterministicSchedsParetoExplorer.cpp +++ b/src/storm/modelchecker/multiobjective/deterministicScheds/DeterministicSchedsParetoExplorer.cpp @@ -247,7 +247,7 @@ namespace storm { template - typename DeterministicSchedsParetoExplorer::Polytope const& DeterministicSchedsParetoExplorer::Facet::getInducedPolytope(Pointset const& pointset, std::vector const& referenceCoordinates) { + typename DeterministicSchedsParetoExplorer::Polytope DeterministicSchedsParetoExplorer::Facet::getInducedPolytope(Pointset const& pointset, std::vector const& referenceCoordinates) { std::vector> vertices = {referenceCoordinates}; for (auto const& pId : pointsOnFacet) { vertices.push_back(pointset.getPoint(pId).get()); diff --git a/src/storm/modelchecker/multiobjective/deterministicScheds/DeterministicSchedsParetoExplorer.h b/src/storm/modelchecker/multiobjective/deterministicScheds/DeterministicSchedsParetoExplorer.h index 652806bbd..e247d4168 100644 --- a/src/storm/modelchecker/multiobjective/deterministicScheds/DeterministicSchedsParetoExplorer.h +++ b/src/storm/modelchecker/multiobjective/deterministicScheds/DeterministicSchedsParetoExplorer.h @@ -112,7 +112,7 @@ namespace storm { /*! * Creates a polytope that captures all points that lie 'under' the facet */ - Polytope const& getInducedPolytope(Pointset const& pointset, std::vector const& referenceCoordinates); + Polytope getInducedPolytope(Pointset const& pointset, std::vector const& referenceCoordinates); private: storm::storage::geometry::Halfspace halfspace;