Apply the default settings of 'smpi/buffering' too

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

diff --git a/src/mc/mc_ignore.hpp b/src/mc/mc_ignore.hpp
index 1ede97a..c25b45b 100644 (file)
--- a/src/mc/mc_ignore.hpp
+++ b/src/mc/mc_ignore.hpp
@@ -12,7 +12,7 @@
 #if HAVE_UCONTEXT_H
 #include <ucontext.h> /* context relative declarations */
 
-XBT_PUBLIC void MC_register_stack_area(void* stack, smx_actor_t process, ucontext_t* context, size_t size);
+XBT_PUBLIC void MC_register_stack_area(void* stack, ucontext_t* context, size_t size);
 
 #endif