Tsss... :)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@1031 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/src/gras/Virtu/rl_time.c b/src/gras/Virtu/rl_time.c
index 86a6100..eeb782b 100644 (file)
--- a/src/gras/Virtu/rl_time.c
+++ b/src/gras/Virtu/rl_time.c
@@ -19,7 +19,7 @@ double gras_os_time() {
 
   gettimeofday(&tv, NULL);
 
 
   gettimeofday(&tv, NULL);
 

-  return (double)(tv.tv_sec + tv.tv_usec / 1000000);
+  return (double)(tv.tv_sec + tv.tv_usec / 1000000.0);

 #else
   /* Poor resolution */
   return (double)(time(NULL)); 
 #else
   /* Poor resolution */
   return (double)(time(NULL));