From 9bc4b8f3fa071cfe0add60fb18c1e81d9cbd2094 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Christophe=20Thi=C3=A9ry?= <christopho128@gmail.com>
Date: Mon, 18 Apr 2011 11:09:14 +0200
Subject: [PATCH 1/1] Remove memory leaks in gras_stub_generator.

---
 tools/gras/stub_generator.c | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/tools/gras/stub_generator.c b/tools/gras/stub_generator.c
index 6c02c9d0eb..0b1bd177f3 100644
--- a/tools/gras/stub_generator.c
+++ b/tools/gras/stub_generator.c
@@ -22,11 +22,8 @@
 #include "gras_stub_generator.h"
 #include <stdarg.h>
 
-
-
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(stubgen, gras, "Stub generator");
 
-
 #ifdef _XBT_WIN32
 #include <windows.h>
 #endif
@@ -176,6 +173,11 @@ int main(int argc, char *argv[])
 #endif
 
   free(warning);
+
+  xbt_dict_free(&process_function_set);
+  xbt_dynar_free(&process_list);
+  xbt_dict_free(&machine_set);
   surf_exit();
+
   return 0;
 }
-- 
2.20.1