From e489af255e5094ebe6e7ab34b3a86a49b1ed2b90 Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Mon, 18 Jul 2016 16:34:41 +0200
Subject: [PATCH] [mc] Remove unused pointer_to_data_member trait

---
 src/mc/RemotePtr.hpp | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/src/mc/RemotePtr.hpp b/src/mc/RemotePtr.hpp
index 5c11ddc1c5..e69af01a86 100644
--- a/src/mc/RemotePtr.hpp
+++ b/src/mc/RemotePtr.hpp
@@ -17,16 +17,6 @@
 namespace simgrid {
 namespace mc {
 
-template<class M, class T, class Enable = void>
-struct pointer_to_data_member {};
-template<class M, class T>
-struct pointer_to_data_member<M,T,typename std::enable_if< std::is_union<M>::value || std::is_class<M>::value >::type> {
-  typedef T M::* type;
-};
-
-template<class M, class T>
-using pointer_to_data_member_t = typename pointer_to_data_member<M,T>::type;
-
 /** HACK, A value from another process
  *
  *  This represents a value from another process:
-- 
2.20.1