X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/45c3f1cfee86fb48c96d53f8267f99b6db6e3d7a..a79a8e1cab86ccc687cfbc97b01b735acb996f16:/include/xbt/virtu.h

diff --git a/include/xbt/virtu.h b/include/xbt/virtu.h
index 3b0a63e086..07b895d283 100644
--- a/include/xbt/virtu.h
+++ b/include/xbt/virtu.h
@@ -10,7 +10,7 @@
 #define __XBT_VIRTU_H__
 
 #include "xbt/misc.h"
-#include "xbt/sysdep.h"
+#include "xbt/base.h"
 #include "xbt/function_types.h"
 #include "xbt/dynar.h"
 
@@ -25,13 +25,5 @@ XBT_PUBLIC_DATA(char*) xbt_binary_name;
 /** Contains all the parameters we got from the command line (including argv[0]) */
 XBT_PUBLIC_DATA(xbt_dynar_t) xbt_cmdline;
 
-/**
- *
- * Time management functions, returns the system time or sleeps a process.
- */
-XBT_PUBLIC(double) xbt_time(void);
-XBT_PUBLIC(void) xbt_sleep(double sec);
-
-
 SG_END_DECL()
 #endif                          /* __XBT_VIRTU_H__ */