From 0c0ad6a6b5b0cf4b93545f52c7d3a38a7a544d5c Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Fri, 22 Jan 2016 16:13:12 +0100
Subject: [PATCH] kill dead code. Simgrid internals are Pure Magic

---
 src/surf/surf_interface.cpp | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/src/surf/surf_interface.cpp b/src/surf/surf_interface.cpp
index bc4da64678..302cd3089c 100644
--- a/src/surf/surf_interface.cpp
+++ b/src/surf/surf_interface.cpp
@@ -30,7 +30,6 @@ xbt_dynar_t all_existing_models = NULL; /* to destroy models correctly */
 xbt_dynar_t model_list_invoke = NULL;  /* for invoking callbacks */
 
 tmgr_fes_t history = NULL;
-lmm_system_t maxmin_system = NULL;
 xbt_dynar_t surf_path = NULL;
 xbt_dynar_t host_that_restart = NULL;
 xbt_dict_t watched_hosts_lib;
@@ -369,10 +368,6 @@ void surf_exit(void)
 
   simgrid::surf::surfExitCallbacks();
 
-  if (maxmin_system) {
-    lmm_system_free(maxmin_system);
-    maxmin_system = NULL;
-  }
   if (history) {
     tmgr_history_free(history);
     history = NULL;
-- 
2.20.1