From 73e607f967e2718e312e0c93485a4c77ad49c019 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Thu, 28 Feb 2019 22:32:13 +0100
Subject: [PATCH] Use default initialization.

---
 include/xbt/Extendable.hpp | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/include/xbt/Extendable.hpp b/include/xbt/Extendable.hpp
index a157c6751c..5acaebed94 100644
--- a/include/xbt/Extendable.hpp
+++ b/include/xbt/Extendable.hpp
@@ -117,9 +117,7 @@ public:
   template<class U> void extension_set(U* p) { extension_set<U>(U::EXTENSION_ID, p); }
 };
 
-template<class T>
-std::vector<void(*)(void*)> Extendable<T>::deleters_ = {};
-
+template <class T> std::vector<void (*)(void*)> Extendable<T>::deleters_;
 }
 }
 
-- 
2.30.2