From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Mon, 18 Jul 2016 14:34:41 +0000 (+0200)
Subject: [mc] Remove unused pointer_to_data_member trait
X-Git-Tag: v3_14~751
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/e489af255e5094ebe6e7ab34b3a86a49b1ed2b90?hp=a6683a1cd7515c04a74364c9f991d55d9329a7c5

[mc] Remove unused pointer_to_data_member trait
---

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: