X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/93b7899156ac9fee75c4a6a8b65b92b265d61d4f..a9d46ef793944afed370e7612e5b38e43be9ecc5:/src/surf/PropertyHolder.hpp

diff --git a/src/surf/PropertyHolder.hpp b/src/surf/PropertyHolder.hpp
index bd03e3cf1b..3d2cdf1d82 100644
--- a/src/surf/PropertyHolder.hpp
+++ b/src/surf/PropertyHolder.hpp
@@ -17,14 +17,18 @@ namespace surf {
 class PropertyHolder { // DO NOT DERIVE THIS CLASS, or the diamond inheritance mayhem will get you
 
 public:
-	PropertyHolder(xbt_dict_t props);
-	~PropertyHolder();
+  PropertyHolder(xbt_dict_t props);
+  ~PropertyHolder();
 
-	const char *getProperty(const char*id);
-	void setProperty(const char*id, const char*value);
-	xbt_dict_t getProperties();
+  const char *getProperty(const char*id);
+  void setProperty(const char*id, const char*value);
+
+  /* FIXME: This should not be exposed, as users may do bad things with the dict they got (it's not a copy).
+   * But some user API expose this call so removing it is not so easy.
+   */
+  xbt_dict_t getProperties();
 private:
-	xbt_dict_t p_properties = NULL;
+  xbt_dict_t properties_ = NULL;
 };
 
 } /* namespace surf */