kill an unused private field

diff --git a/src/surf/surf_interface.hpp b/src/surf/surf_interface.hpp
index 7dac341..6be1e2c 100644 (file)
--- a/src/surf/surf_interface.hpp
+++ b/src/surf/surf_interface.hpp
@@ -365,7 +365,6 @@ private:
   const char *p_name;
   xbt_dict_t p_properties;
   ModelPtr p_model;
-  void *p_resource;
   bool m_running;
   e_surf_resource_state_t m_stateCurrent;