use xbt_os_time

[simgrid.git] / src / gras / Virtu / virtu_sg.h

diff --git a/src/gras/Virtu/virtu_sg.h b/src/gras/Virtu/virtu_sg.h
index f9b9416..45ffaad 100644 (file)
--- a/src/gras/Virtu/virtu_sg.h
+++ b/src/gras/Virtu/virtu_sg.h
@@ -10,8 +10,8 @@
 #ifndef VIRTU_SG_H
 #define VIRTU_SG_H
 
-#include "gras/Virtu/virtu_interface.h"
-#include <msg.h> /* SimGrid header */
+#include "gras/Virtu/virtu_private.h"
+#include "msg/msg.h" /* SimGrid header */
 
 #define XBT_MAX_CHANNEL 10