-/* $Id$ */
-
/* Copyright (c) 2002-2007 Arnaud Legrand. */
/* Copyright (c) 2007 Bruno Donassolo. */
/* All rights reserved. */
#include "xbt/swag.h"
#include "xbt/dict.h"
#include "xbt/config.h"
+#include "instr/private.h"
SG_BEGIN_DECL()
void _MSG_process_kill_from_SIMIX(void *p);
void _MSG_action_init(void);
+ void _MSG_action_exit(void);
SG_END_DECL()
#endif