/******************************************************************************/
#include <msg/msg.h>
-#include <mc/modelchecker.h>
+#include <simgrid/modelchecker.h>
#define N 3
XBT_LOG_NEW_DEFAULT_CATEGORY(example, "this example");
int server(int argc, char *argv[])
{
- m_task_t task1, task2;
+ m_task_t task1 = NULL;
+ m_task_t task2 = NULL;
long val1, val2;
MSG_task_receive(&task1, "mymailbox");