Use proper timer; allow several timed sections per file (ie, use the 'line' argument...

[simgrid.git] / src / gras / gras.c

diff --git a/src/gras/gras.c b/src/gras/gras.c
index 03af67b..f58444c 100644 (file)
--- a/src/gras/gras.c
+++ b/src/gras/gras.c
@@ -61,5 +61,6 @@ void gras_exit(void) {
     gras_trp_exit();
     gras_datadesc_exit();
   }
+  gras_chrono_exit();
   xbt_exit();
 }