From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Mon, 12 Oct 2015 22:42:25 +0000 (+0200)
Subject: [mc] Remove useless *_free_voidp functions
X-Git-Tag: v3_13~1644^2~56
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/970087a9908d92cd6b234e84582771e4f4f25ceb

[mc] Remove useless *_free_voidp functions
---

diff --git a/src/mc/mc_compare.cpp b/src/mc/mc_compare.cpp
index c8043e8699..65ec2a3100 100644
--- a/src/mc/mc_compare.cpp
+++ b/src/mc/mc_compare.cpp
@@ -74,21 +74,11 @@ static void stack_region_free(stack_region_t s)
   }
 }
 
-static void stack_region_free_voidp(void *s)
-{
-  stack_region_free((stack_region_t) * (void **) s);
-}
-
 static void pointers_pair_free(pointers_pair_t p)
 {
   xbt_free(p);
 }
 
-static void pointers_pair_free_voidp(void *p)
-{
-  pointers_pair_free((pointers_pair_t) * (void **) p);
-}
-
 /************************** Snapshot comparison *******************************/
 /******************************************************************************/
 
diff --git a/src/mc/mc_pair.cpp b/src/mc/mc_pair.cpp
index bd477b82a0..12936db18b 100644
--- a/src/mc/mc_pair.cpp
+++ b/src/mc/mc_pair.cpp
@@ -31,9 +31,4 @@ void MC_pair_delete(mc_pair_t p)
   p = NULL;
 }
 
-void mc_pair_free_voidp(void *p)
-{
-  MC_pair_delete((mc_pair_t) * (void **) p);
-}
-
 }