another useless function dies

[simgrid.git] / src / simix / smx_global.cpp

diff --git a/src/simix/smx_global.cpp b/src/simix/smx_global.cpp
index 9d33439..a47eaec 100644 (file)
--- a/src/simix/smx_global.cpp
+++ b/src/simix/smx_global.cpp
@@ -165,7 +165,7 @@ static std::function<void()> maestro_code;
 namespace simgrid {
 namespace simix {
 
-simgrid::xbt::signal<void(void)> onDeadlock;
+simgrid::xbt::signal<void()> onDeadlock;
 
 XBT_PUBLIC(void) set_maestro(std::function<void()> code)
 {
@@ -228,7 +228,6 @@ void SIMIX_global_init(int *argc, char **argv)
     simgrid::s4u::Host::onCreation.connect([](simgrid::s4u::Host& host) {
       SIMIX_host_create(&host);
     });
-    SIMIX_HOST_LEVEL = simgrid::s4u::Host::extension_create(SIMIX_host_destroy);
 
     simgrid::surf::storageCreatedCallbacks.connect([](simgrid::surf::Storage* storage) {
       const char* name = storage->getName();