From 5ad97e643fcc12fffcbcdfae0449d0b18292f4db Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Mon, 7 May 2018 11:56:35 +0200
Subject: [PATCH] surfExitCallbacks are gone.

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

diff --git a/src/surf/surf_interface.cpp b/src/surf/surf_interface.cpp
index 2786df7d8e..5fb89fb004 100644
--- a/src/surf/surf_interface.cpp
+++ b/src/surf/surf_interface.cpp
@@ -36,13 +36,6 @@ std::vector<simgrid::s4u::Host*> host_that_restart;
 std::set<std::string> watched_hosts;
 extern std::map<std::string, simgrid::surf::StorageType*> storage_types;
 
-namespace simgrid {
-namespace surf {
-
-simgrid::xbt::signal<void()> surfExitCallbacks;
-}
-}
-
 #include <simgrid/plugins/energy.h> // FIXME: this plug-in should not be linked to the core
 #include <simgrid/plugins/load.h>   // FIXME: this plug-in should not be linked to the core
 
-- 
2.20.1