From 4f4afa70b8cc31bd39d3ab5dbaf7ae899c77b34b Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Tue, 3 Apr 2018 19:16:47 +0200
Subject: [PATCH] Kill unused typedefs from xbt::string.

---
 include/xbt/string.hpp | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/include/xbt/string.hpp b/include/xbt/string.hpp
index bb237f03de..7af6d332c1 100644
--- a/include/xbt/string.hpp
+++ b/include/xbt/string.hpp
@@ -60,11 +60,8 @@ class XBT_PUBLIC string : private string_data {
 public:
   // Types
   typedef std::size_t size_type;
-  typedef std::ptrdiff_t difference_type;
   typedef char& reference;
   typedef const char& const_reference;
-  typedef char* pointer;
-  typedef const char* const_pointer;
   typedef char* iterator;
   typedef const char* const_iterator;
 
-- 
2.20.1