From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Mon, 3 Jun 2019 23:41:47 +0000 (+0200)
Subject: MC: kill an unused field and a useless method
X-Git-Tag: v3.22.4~11
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/c4c0d75ea279b668100ce71173abf2d40fc588a9

MC: kill an unused field and a useless method
---

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;