-/*
-double xbt_os_time(void) {
-#ifdef HAVE_GETTIMEOFDAY
- struct timeval tv;
-
- gettimeofday(&tv, NULL);
-
- return (double)(tv.tv_sec + tv.tv_usec / 1000000.0);
-#else*/
- /* Poor resolution */
-/* return (double)(time(NULL));*/
-//#endif /* HAVE_GETTIMEOFDAY? */
-//}
-
-/*XBT_LOG_NEW_DEFAULT_SUBCATEGORY(sysdep, xbt, "System dependency");*/
-