X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/800d1c9907d1e940711eab1e935b2ab40d564be5..db82f9e75280108116a8e70d2e7a163080020d29:/src/simix/smx_global.c

diff --git a/src/simix/smx_global.c b/src/simix/smx_global.c
index 859b04d3a5..3b227d7be9 100644
--- a/src/simix/smx_global.c
+++ b/src/simix/smx_global.c
@@ -315,6 +315,7 @@ void SIMIX_run(void)
        timer = xbt_heap_pop(simix_timers);
        if (timer->func)
          ((void (*)(void*))timer->func)(timer->args);
+       xbt_free(timer);
     }
     /* Wake up all processes waiting for a Surf action to finish */
     xbt_dynar_foreach(model_list, iter, model) {
@@ -325,7 +326,7 @@ void SIMIX_run(void)
 
       while ((action = xbt_swag_extract(set))) {
         if (action->data == NULL)
-          XBT_INFO("probably vcpu's action %p, skip", action);
+          XBT_DEBUG("probably vcpu's action %p, skip", action);
         else
           SIMIX_simcall_post((smx_action_t) action->data);
       }