please 32-bit archs too

diff --git a/src/simdag/sd_global.cpp b/src/simdag/sd_global.cpp
index c2ba350..ddd1ce1 100644 (file)
--- a/src/simdag/sd_global.cpp
+++ b/src/simdag/sd_global.cpp
@@ -177,7 +177,7 @@ void SD_create_environment(const char *platform_file)
       __SD_storage_create(surf_storage[SURF_STORAGE_LEVEL], NULL);
   }
 
       __SD_storage_create(surf_storage[SURF_STORAGE_LEVEL], NULL);
   }
 

-  XBT_DEBUG("Workstation number: %lu, link number: %d",
+  XBT_DEBUG("Workstation number: %zu, link number: %d",

          sg_host_count(), sg_link_count());
 #ifdef HAVE_JEDULE
   jedule_setup_platform();
          sg_host_count(), sg_link_count());
 #ifdef HAVE_JEDULE
   jedule_setup_platform();