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 bef60ce..c25b45b 100644 (file)
--- a/src/mc/mc_ignore.hpp
+++ b/src/mc/mc_ignore.hpp
@@ -6,12 +6,13 @@
 #ifndef SIMGRID_MC_IGNORE_HPP
 #define SIMGRID_MC_IGNORE_HPP
 
+#include "simgrid/forward.h"
 #include "src/internal_config.h"
 
 #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