X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/8f7e2606f86cb6a9c859d68d5590ccb06caa9578..c912b7d6e75473bd05731ccf77f3e2d82afb7802:/src/instr/instr_paje_trace.c?ds=sidebyside

diff --git a/src/instr/instr_paje_trace.c b/src/instr/instr_paje_trace.c
index d3928a4686..4a60ed3c16 100644
--- a/src/instr/instr_paje_trace.c
+++ b/src/instr/instr_paje_trace.c
@@ -189,7 +189,7 @@ void TRACE_paje_dump_buffer (int force)
     buffer = xbt_dynar_new (sizeof(paje_event_t), NULL);
   }else{
     paje_event_t event;
-    while (xbt_dynar_length (buffer) > 0){
+    while (!xbt_dynar_is_empty(buffer)){
       double head_timestamp = (*(paje_event_t*)xbt_dynar_get_ptr(buffer, 0))->timestamp;
       if (head_timestamp > TRACE_last_timestamp_to_dump){
         break;