From 9a6782def42b659ec677cb6d2fff6fac97e666d2 Mon Sep 17 00:00:00 2001 From: mquinson Date: Sun, 7 Aug 2005 14:21:27 +0000 Subject: [PATCH] Missing header git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@1604 48e7efb5-ca39-0410-a469-dd3cf9ba447f --- src/gras/Virtu/rl_time.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/gras/Virtu/rl_time.c b/src/gras/Virtu/rl_time.c index 49024d44e5..b229c35cf0 100644 --- a/src/gras/Virtu/rl_time.c +++ b/src/gras/Virtu/rl_time.c @@ -7,11 +7,12 @@ /* This program is free software; you can redistribute it and/or modify it * under the terms of the license (GNU LGPL) which comes with this package. */ -#include "math.h" /* floor */ +#include /* floor */ #include "portable.h" #include "xbt/sysdep.h" +#include "xbt/log.h" #include "gras/virtu.h" #include "xbt/xbt_portability.h" /* private */ -- 2.20.1