-/* $Id$ */
-
/* xbt_os_time.c -- portable interface to time-related functions */
/* Copyright (c) 2004-2008 The SimGrid team. All rights reserved. */
#ifdef HAVE_POSIX_GETTIME
return ((double) timer->stop.tv_sec) - ((double) timer->start.tv_sec) +
((((double) timer->stop.tv_nsec) -
- ((double) timer->start.tv_nsec)) / 1e-9);
+ ((double) timer->start.tv_nsec)) / 1e9);
#elif defined(HAVE_GETTIMEOFDAY)
return ((double) timer->stop.tv_sec) - ((double) timer->start.tv_sec) +
((((double) timer->stop.tv_usec) -