- if (s4u::Engine::instance_ == nullptr)
- return new Engine(0, nullptr);
- else
- return s4u::Engine::instance_;
+ if (Engine::instance_ == nullptr) {
+ auto e = new Engine(0, nullptr);
+ xbt_assert(Engine::instance_ == e);
+ }
+ return Engine::instance_;