From 7ec65da6c7b74cae8bbaef31043bbed7bac6502b Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Sat, 8 Mar 2014 21:18:35 +0100 Subject: [PATCH 1/1] kill an unused private field --- src/surf/surf_interface.hpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/surf/surf_interface.hpp b/src/surf/surf_interface.hpp index 7dac3413f2..6be1e2c40e 100644 --- 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; -- 2.20.1