X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/04dab60fb0a697e6e4e88956753ecd96b9d28bca..2f531aa69f09fed380e2e212df5822874aab5e58:/src/mc/ObjectInformation.hpp?ds=sidebyside

diff --git a/src/mc/ObjectInformation.hpp b/src/mc/ObjectInformation.hpp
index 21c3a0456e..1a59340afe 100644
--- a/src/mc/ObjectInformation.hpp
+++ b/src/mc/ObjectInformation.hpp
@@ -11,11 +11,13 @@
 #include <unordered_map>
 #include <vector>
 
-#include "mc/mc_forward.h"
-#include "mc/Type.hpp"
-#include "mc/Frame.hpp"
+#include <xbt/base.h>
 
-#include "smpi/private.h"
+#include "src/mc/mc_forward.h"
+#include "src/mc/Type.hpp"
+#include "src/mc/Frame.hpp"
+
+#include "src/smpi/private.h"
 
 namespace simgrid {
 namespace mc {
@@ -86,19 +88,11 @@ public:
     return this->flags & simgrid::mc::ObjectInformation::Executable;
   }
 
-  bool privatized() const
-  {
-#ifdef HAVE_SMPI
-    return this->executable() && smpi_privatize_global_variables;
-#else
-    return false;
-#endif
-  }
-
   void* base_address() const;
 
   simgrid::mc::Frame* find_function(const void *ip) const;
   simgrid::mc::Variable* find_variable(const char* name) const;
+  void remove_global_variable(const char* name);
 
 };