Free globals before exit in timer example.

diff --git a/examples/gras/timer/timer.c b/examples/gras/timer/timer.c
index 22be3d2..c2c16d2 100644 (file)
--- a/examples/gras/timer/timer.c
+++ b/examples/gras/timer/timer.c
@@ -85,5 +85,6 @@ int client(int argc, char *argv[])
     gras_msg_handle(5.0);
   }
   gras_exit();
     gras_msg_handle(5.0);
   }
   gras_exit();

+  xbt_free(globals);

   return 0;
 }                               /* end_of_client */
   return 0;
 }                               /* end_of_client */