From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Mon, 18 Feb 2013 15:03:07 +0000 (+0100)
Subject: Remove duplicated declaration for xbt_time().
X-Git-Tag: v3_9_90~491^2~7
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/2c4a020c7ff017b543e7e4e91448528a9a2f620f?ds=sidebyside

Remove duplicated declaration for xbt_time().
---

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()