move some public MC prototypes to a public header file

[simgrid.git] / src / mc / mc_ignore.h

diff --git a/src/mc/mc_ignore.h b/src/mc/mc_ignore.h
index cf42fd1..fef3326 100644 (file)
--- a/src/mc/mc_ignore.h
+++ b/src/mc/mc_ignore.h
@@ -16,11 +16,6 @@
 
 SG_BEGIN_DECL();
 
-XBT_PUBLIC(void) MC_ignore_heap(void *address, size_t size);
-XBT_PUBLIC(void) MC_remove_ignore_heap(void *address, size_t size);
-XBT_PUBLIC(void) MC_ignore_local_variable(const char *var_name, const char *frame);
-XBT_PUBLIC(void) MC_ignore_global_variable(const char *var_name);
-
 #if HAVE_UCONTEXT_H
 XBT_PUBLIC(void) MC_register_stack_area(void *stack, smx_actor_t process, ucontext_t* context, size_t size);
 #endif