From 2c4a020c7ff017b543e7e4e91448528a9a2f620f Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Mon, 18 Feb 2013 16:03:07 +0100 Subject: [PATCH] Remove duplicated declaration for xbt_time(). --- include/xbt/virtu.h | 23 ++++++++++------------- 1 file changed, 10 insertions(+), 13 deletions(-) diff --git a/include/xbt/virtu.h b/include/xbt/virtu.h index 1d8f1afdd0..a4c652ffca 100644 --- a/include/xbt/virtu.h +++ b/include/xbt/virtu.h @@ -19,21 +19,18 @@ SG_BEGIN_DECL() /* Get the PID of the current (simulated) process */ XBT_PUBLIC_DATA(int_f_void_t) xbt_getpid; -/* Current time */ -XBT_PUBLIC(double) xbt_time(void); - - /* Get the name of the UNIX process englobing the world */ - XBT_PUBLIC_DATA(char*) xbt_binary_name; +/* Get the name of the UNIX process englobing the world */ +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; +/** 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. They work both on the simulated and real systems(GRAS). - */ - XBT_PUBLIC(double) xbt_time(void); - XBT_PUBLIC(void) xbt_sleep(double sec); +/** + * + * 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() -- 2.20.1