X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/788c2bda47c06816d2ba4f2d00033ae66a31e5d9..eadce057a2c8e09df65641e77935bd9ffc905440:/src/surf/PropertyHolder.hpp

diff --git a/src/surf/PropertyHolder.hpp b/src/surf/PropertyHolder.hpp
index a88589bbaf..27ae7a627f 100644
--- a/src/surf/PropertyHolder.hpp
+++ b/src/surf/PropertyHolder.hpp
@@ -27,10 +27,7 @@ public:
   const char* get_property(const std::string& key) const;
   void set_property(const std::string& id, const std::string& value);
 
-  /* FIXME: This should not be exposed, as users may do bad things with the map they got (it's not a copy).
-   * But some user API expose this call so removing it is not so easy.
-   */
-  std::unordered_map<std::string, std::string>* get_properties();
+  const std::unordered_map<std::string, std::string>* get_properties();
 
 private:
   std::unique_ptr<std::unordered_map<std::string, std::string>> properties_ = nullptr;