* under the terms of the license (GNU LGPL) which comes with this package. */
#include "src/internal_config.h"
-#include "src/mc/mc_object_info.h"
#include "src/mc/mc_private.h"
#include "src/smpi/private.h"
#include "src/mc/mc_snapshot.h"
* @param context
* @param size Size of the stack
*/
-void MC_register_stack_area(void *stack, smx_process_t process, void *context, size_t size)
+void MC_register_stack_area(void *stack, smx_process_t process, ucontext_t* context, size_t size)
{
if (mc_mode != MC_MODE_CLIENT)
return;