revalidation(cherry picked from commit b419217e489d4ae454acaa5874cc7f42414c83b9)

[simgrid.git] / examples / msg / migration / migration.c

diff --git a/examples/msg/migration/migration.c b/examples/msg/migration/migration.c
index 87df4982dce3569104d01ce62c50c27fae8a8e04..898682f8403ed56cd54958cf854d672800105d4f 100644 (file)
--- a/examples/msg/migration/migration.c
+++ b/examples/msg/migration/migration.c
@@ -1,4 +1,4 @@
-/* Copyright (c) 2009, 2010. The SimGrid Team.
+/* Copyright (c) 2009-2013. The SimGrid Team.
  * All rights reserved.                                                     */
 
 /* This program is free software; you can redistribute it and/or modify it
@@ -6,6 +6,7 @@
 
 #include "msg/msg.h"            /* core library */
 #include "xbt/sysdep.h"         /* calloc */
+#include "xbt/synchro_core.h"
 
 /* Create a log channel to have nice outputs. */
 #include "xbt/log.h"