Remove memory leaks in gras_stub_generator.

diff --git a/tools/gras/stub_generator.c b/tools/gras/stub_generator.c
index 6c02c9d..0b1bd17 100644 (file)
--- a/tools/gras/stub_generator.c
+++ b/tools/gras/stub_generator.c
@@ -22,11 +22,8 @@
 #include "gras_stub_generator.h"
 #include <stdarg.h>
 
 #include "gras_stub_generator.h"
 #include <stdarg.h>
 

-
-

 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(stubgen, gras, "Stub generator");
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(stubgen, gras, "Stub generator");
 

-

 #ifdef _XBT_WIN32
 #include <windows.h>
 #endif
 #ifdef _XBT_WIN32
 #include <windows.h>
 #endif


@@ -176,6 +173,11 @@ int main(int argc, char *argv[])
 #endif
 
   free(warning);
 #endif
 
   free(warning);

+
+  xbt_dict_free(&process_function_set);
+  xbt_dynar_free(&process_list);
+  xbt_dict_free(&machine_set);

   surf_exit();
   surf_exit();

+

   return 0;
 }
   return 0;
 }