From e7dc58391aaf84b459153d6fff1cf4366cae9dd6 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Mon, 9 Jul 2018 06:46:24 +0200
Subject: [PATCH] plug a memleak

---
 src/surf/surf_interface.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/surf/surf_interface.cpp b/src/surf/surf_interface.cpp
index a7135decba..dcf8e7fe41 100644
--- a/src/surf/surf_interface.cpp
+++ b/src/surf/surf_interface.cpp
@@ -318,6 +318,8 @@ void surf_exit()
   for (auto const& model : all_existing_models)
     delete model;
 
+  xbt_free(surf_plugin_description);
+
   delete future_evt_set;
   future_evt_set = nullptr;
 
-- 
2.20.1