X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/911d1bc49601ee2681cffec46ea85d83420f832e..162af51e54767c8e8f7481caeed9ae7d78f6bde6:/src/mc/ModelChecker.hpp diff --git a/src/mc/ModelChecker.hpp b/src/mc/ModelChecker.hpp index 2a07560643..d5016d3287 100644 --- a/src/mc/ModelChecker.hpp +++ b/src/mc/ModelChecker.hpp @@ -44,10 +44,6 @@ public: return page_store_; } - std::string const& get_host_name(const char* hostname) - { - return *this->hostnames_.insert(hostname).first; - } std::string const& get_host_name(std::string const& hostname) { return *this->hostnames_.insert(hostname).first;