[mc] Remove unused variables

Stop the continuous integration server from complaining.

diff --git a/src/mc/mc_diff.c b/src/mc/mc_diff.c
index 5e360a2..bbda6d5 100644 (file)
--- a/src/mc/mc_diff.c
+++ b/src/mc/mc_diff.c
@@ -1135,9 +1135,6 @@ int compare_heap_area(int process_index, void *area1, void *area2, mc_snapshot_t
 
   malloc_info heapinfo_temp1, heapinfo_temp2;
 
-  void* real_area1_to_compare = area1;
-  void* real_area2_to_compare = area2;
-
   if (previous == NULL) {
     previous =
         xbt_dynar_new(sizeof(heap_area_pair_t), heap_area_pair_free_voidp);