model-checker : init equal_to field to -1 for each allocated block/fragment at the...

[simgrid.git] / src / xbt / xbt_virtu.c

diff --git a/src/xbt/xbt_virtu.c b/src/xbt/xbt_virtu.c
index efe333d..664d87b 100644 (file)
--- a/src/xbt/xbt_virtu.c
+++ b/src/xbt/xbt_virtu.c
@@ -11,8 +11,6 @@
 #include "xbt/function_types.h"
 #include "simgrid/simix.h"
 
-char *xbt_os_procname_data = NULL;
-
 static int xbt_fake_pid(void)
 {
   return 0;
@@ -41,8 +39,3 @@ const char *xbt_procname(void)
 {
   return SIMIX_process_self_get_name();
 }
-
-const char *xbt_os_procname(void)
-{
-  return xbt_os_procname_data;
-}