bummer

diff --git a/src/xbt/xbt_os_file.c b/src/xbt/xbt_os_file.c
index a14df254505a116ffa388d0073c6ee478f477041..43c30bb8e4741dd693bb32e73f9901c32805272c 100644 (file)
--- a/src/xbt/xbt_os_file.c
+++ b/src/xbt/xbt_os_file.c
@@ -87,7 +87,7 @@ char *xbt_basename(const char *path) {
          char ext[1024];
          errno_t err;
          err = _splitpath_s(path, NULL,0, NULL,0, file,1024, ext,1024);
-         return bprintf("%s%s",drive,dir);
+         return bprintf("%s.%s",file,ext);
 #else
          return basename(xbt_strdup(path));
 #endif