From 2618e74f3013e614762462ffb63bbe094fd1ae40 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Mon, 16 Oct 2017 13:25:42 +0200
Subject: [PATCH] Allow nullptr for Extension deleter.

---
 include/xbt/Extendable.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/xbt/Extendable.hpp b/include/xbt/Extendable.hpp
index 5cf36a9525..d90314d4c8 100644
--- a/include/xbt/Extendable.hpp
+++ b/include/xbt/Extendable.hpp
@@ -77,7 +77,7 @@ public:
      * an extension of B might need to have the extension of A around when executing
      * its cleanup function/destructor. */
     for (std::size_t i = extensions_.size(); i > 0; --i)
-      if (extensions_[i - 1] != nullptr)
+      if (extensions_[i - 1] != nullptr && deleters_[i - 1] != nullptr)
         deleters_[i - 1](extensions_[i - 1]);
   }
 
-- 
2.20.1