X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/e993852fadf35937e44a7b37eaecad48588b5a2e..380344ba7ad3d0ed0f7fb8f86990e83b97f39831:/include/xbt/misc.h

diff --git a/include/xbt/misc.h b/include/xbt/misc.h
index 6c7f6c9fb1..dc19d77d9b 100644
--- a/include/xbt/misc.h
+++ b/include/xbt/misc.h
@@ -23,20 +23,12 @@ XBT_PUBLIC_DATA(int) xbt_pagesize;
 /** Cache the number of bits of addresses inside a given page, log2(xbt_pagesize). */
 XBT_PUBLIC_DATA(int) xbt_pagebits;
 
-XBT_PUBLIC(const char *) xbt_procname(void);
-
-/** Retrieves the version numbers of the used dynamic library (so, DLL or dynlib) , while
-    SIMGRID_VERSION_MAJOR and friends give the version numbers of the used header files */
-XBT_PUBLIC(void) sg_version(int *major,int *minor,int *patch);
-
-/** Helps ensuring that the header version (SIMGRID_VERSION_MAJOR and friends) and the dynamic library version do match. */
+/** Helps ensuring that header version (SIMGRID_VERSION_MAJOR and friends) and dynamic library version do match. */
 XBT_PUBLIC(void) sg_version_check(int lib_version_major,int lib_version_minor,int lib_version_patch);
 
 /** Contains all the parameters we got from the command line */
 XBT_PUBLIC_DATA(xbt_dynar_t) sg_cmdline;
 
-#define XBT_BACKTRACE_SIZE 10   /* FIXME: better place? Do document */
-
 /* snprintf related functions */
 /** @addtogroup XBT_str
   * @{ */