Merge branches 'master' and 'master' of github.com:simgrid/simgrid

[simgrid.git] / src / mc / remote / Client.hpp

diff --git a/src/mc/remote/Client.hpp b/src/mc/remote/Client.hpp
index 7974601..6d2dadc 100644 (file)
--- a/src/mc/remote/Client.hpp
+++ b/src/mc/remote/Client.hpp
@@ -56,12 +56,4 @@ public:
 }
 }
 
-SG_BEGIN_DECL()
-
-#if SIMGRID_HAVE_MC
-void MC_ignore(void* addr, std::size_t size);
-#endif
-
-SG_END_DECL()
-
 #endif