Current state. See changelog, sorry, I'm out of time

[simgrid.git] / src / gras / Virtu / rl_time.c

diff --git a/src/gras/Virtu/rl_time.c b/src/gras/Virtu/rl_time.c
index f9d8074..fcd0b1a 100644 (file)
--- a/src/gras/Virtu/rl_time.c
+++ b/src/gras/Virtu/rl_time.c
@@ -8,7 +8,8 @@
 /* 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 "gras_private.h"
+#include "xbt/sysdep.h"
+#include "gras/virtu.h"
 #include <sys/time.h>   /* gettimeofday() */
 
 double gras_os_time() {