remove or deprecate now useless code

[simgrid.git] / src / surf / PropertyHolder.hpp

diff --git a/src/surf/PropertyHolder.hpp b/src/surf/PropertyHolder.hpp
index 04ff48837ff35533c023d4bd1b1294b4dd2b3093..5f39e635b4fe77cf9d06816bca78b0b07f05ee54 100644 (file)
--- a/src/surf/PropertyHolder.hpp
+++ b/src/surf/PropertyHolder.hpp
@@ -19,6 +19,8 @@ class PropertyHolder { // DO NOT DERIVE THIS CLASS, or the diamond inheritance m
 
 public:
   PropertyHolder() = default;
+  PropertyHolder(const PropertyHolder&) = delete;
+  PropertyHolder& operator=(const PropertyHolder&) = delete;
   ~PropertyHolder();
 
   const char* get_property(const std::string& key);