From 5fe85f0b326710124cd12cee0c57b2b0de095f10 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Sun, 20 Aug 2017 23:15:09 +0200
Subject: [PATCH] Use default destructor.

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

diff --git a/src/include/xbt/parmap.hpp b/src/include/xbt/parmap.hpp
index 24affcc830..5818def7e6 100644
--- a/src/include/xbt/parmap.hpp
+++ b/src/include/xbt/parmap.hpp
@@ -62,7 +62,7 @@ private:
   class Synchro {
   public:
     explicit Synchro(Parmap<T>& parmap) : parmap(parmap) {}
-    virtual ~Synchro() {}
+    virtual ~Synchro() = default;
     /**
      * \brief Wakes all workers and waits for them to finish the tasks.
      *
-- 
2.20.1