/* xbt.h - Public interface to the xbt (SimGrid's toolbox) */
-/* Copyright (c) 2004-2012. The SimGrid Team.
+/* Copyright (c) 2004-2014. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
#include <xbt/cunit.h>
#include <xbt/xbt_os_thread.h>
+#include <xbt/xbt_os_time.h>
#endif /* xbt_H */