#include "xbt/sysdep.h"
#include "xbt/log.h"
-#include "xbt/error.h"
#include <stdio.h>
#include "gras/virtu.h"
begin_of_time=gras_os_time();
if(strlen(xbt_procname()))
- sprintf(buffer,"%s:%s:(%d) %g", gras_os_myname(),
+ sprintf(buffer,"%s:%s:(%d) %f", gras_os_myname(),
xbt_procname(),gras_os_getpid(),gras_os_time()-begin_of_time);
else
buffer[0]=0;