[mc] Remove useless *_free_voidp functions

diff --git a/src/mc/mc_compare.cpp b/src/mc/mc_compare.cpp
index c8043e8..65ec2a3 100644 (file)
--- 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(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 *******************************/
 /******************************************************************************/
 
 /************************** Snapshot comparison *******************************/
 /******************************************************************************/
 

diff --git a/src/mc/mc_pair.cpp b/src/mc/mc_pair.cpp
index bd477b8..12936db 100644 (file)
--- 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;
 }
 
   p = NULL;
 }
 

-void mc_pair_free_voidp(void *p)
-{
-  MC_pair_delete((mc_pair_t) * (void **) p);
-}
-

 }
 }