From b99b51856d0002d16c0b5a8f01a90da6eed467d2 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Mon, 15 Apr 2019 14:52:26 +0200
Subject: [PATCH] Delete unused private function.

---
 include/xbt/utility.hpp | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/include/xbt/utility.hpp b/include/xbt/utility.hpp
index 84c282e7db..2a2c38260e 100644
--- a/include/xbt/utility.hpp
+++ b/include/xbt/utility.hpp
@@ -57,10 +57,6 @@ template <class List, class Elem> inline void intrusive_erase(List& list, Elem&
  */
 template<class T, T... N>
 class integer_sequence {
-  static constexpr std::size_t size()
-  {
-    return std::tuple_size<decltype(std::make_tuple(N...))>::value;
-  }
 };
 
 namespace bits {
-- 
2.20.1