EngineImpl::shutdown doesn't have to be static

diff --git a/src/kernel/EngineImpl.cpp b/src/kernel/EngineImpl.cpp
index 0e83773..3b08ef3 100644 (file)
--- a/src/kernel/EngineImpl.cpp
+++ b/src/kernel/EngineImpl.cpp
@@ -190,7 +190,7 @@ void EngineImpl::initialize(int* argc, char** argv)
   s4u::Engine::on_platform_created.connect(surf_presolve);
 
   if (config::get_value<bool>("debug/clean-atexit"))
-    atexit(shutdown);
+    atexit(s4u::Engine::shutdown);
 }
 
 void EngineImpl::shutdown()

diff --git a/src/kernel/EngineImpl.hpp b/src/kernel/EngineImpl.hpp
index febb9db..63d2c44 100644 (file)
--- a/src/kernel/EngineImpl.hpp
+++ b/src/kernel/EngineImpl.hpp
@@ -85,7 +85,7 @@ public:
   EngineImpl(const EngineImpl&) = delete;
   EngineImpl& operator=(const EngineImpl&) = delete;
   virtual ~EngineImpl();
-  static void shutdown();
+  void shutdown();
 #endif
 
   void initialize(int* argc, char** argv);