From b79996301686b2da2234a6a5dd1d1a782438a1e0 Mon Sep 17 00:00:00 2001
From: ThomasH <thomas.henn@rwth-aachen.de>
Date: Sat, 16 Jul 2016 21:55:19 +0200
Subject: [PATCH] add const

Former-commit-id: e8c2cc6f2941a2ac25789e28439b381804366fb9
---
 src/storage/gspn/GSPN.cpp | 2 +-
 src/storage/gspn/GSPN.h   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/storage/gspn/GSPN.cpp b/src/storage/gspn/GSPN.cpp
index 0ea8deeb9..dfb9d0f57 100644
--- a/src/storage/gspn/GSPN.cpp
+++ b/src/storage/gspn/GSPN.cpp
@@ -57,7 +57,7 @@ namespace storm {
             return std::make_pair<bool, std::shared_ptr<storm::gspn::TimedTransition<GSPN::RateType>> const>(false, nullptr);
         }
 
-        std::pair<bool, std::shared_ptr<storm::gspn::ImmediateTransition<GSPN::WeightType>> const> GSPN::getImmediateTransition(std::string id) const {
+        std::pair<bool, std::shared_ptr<storm::gspn::ImmediateTransition<GSPN::WeightType>> const> GSPN::getImmediateTransition(std::string const& id) const {
             for (auto& trans : immediateTransitions) {
                 if (id.compare(trans->getName()) == 0) {
                     return std::make_pair<bool, std::shared_ptr<storm::gspn::ImmediateTransition<GSPN::WeightType>> const>(true, static_cast<std::shared_ptr<storm::gspn::ImmediateTransition<GSPN::WeightType>> const>(trans));
diff --git a/src/storage/gspn/GSPN.h b/src/storage/gspn/GSPN.h
index 3217af882..d81f93ad6 100644
--- a/src/storage/gspn/GSPN.h
+++ b/src/storage/gspn/GSPN.h
@@ -101,7 +101,7 @@ namespace storm {
              *         If the first element is true, then the second element is the wanted transition.
              *         If the first element is false, then the second element is the nullptr.
              */
-            std::pair<bool, std::shared_ptr<storm::gspn::ImmediateTransition<GSPN::WeightType>> const> getImmediateTransition(std::string id) const;
+            std::pair<bool, std::shared_ptr<storm::gspn::ImmediateTransition<GSPN::WeightType>> const> getImmediateTransition(std::string const& id) const;
 
             /*!
              * Returns the transition with the corresponding id.