Only sleep to handle real computation if the time to sleep is large enough; do not...

[simgrid.git] / src / smpi / private.h

diff --git a/src/smpi/private.h b/src/smpi/private.h
index e3ffb89..bfb38ef 100644 (file)
--- a/src/smpi/private.h
+++ b/src/smpi/private.h
@@ -91,7 +91,6 @@ typedef struct smpi_global_t {
   smx_process_t *main_processes;
 
   xbt_os_timer_t timer;
-  smx_mutex_t timer_mutex;
   smx_cond_t timer_cond;
 
   // keeps track of previous times