X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/b3b356352e87ae00a20f737c48e19b0c8413455a..20bbf9b0608d4ab29fb25ab4f795001d0cdca5b5:/src/mc/mc_pair.cpp

diff --git a/src/mc/mc_pair.cpp b/src/mc/mc_pair.cpp
index bd477b82a0..21208f3454 100644
--- a/src/mc/mc_pair.cpp
+++ b/src/mc/mc_pair.cpp
@@ -4,15 +4,14 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
-#include <xbt.h>
-#include "mc_liveness.h"
-#include "mc_private.h"
+#include "src/mc/mc_liveness.h"
+#include "src/mc/mc_private.h"
 
 extern "C" {
 
 mc_pair_t MC_pair_new()
 {
-  mc_pair_t p = NULL;
+  mc_pair_t p = nullptr;
   p = xbt_new0(s_mc_pair_t, 1);
   p->num = ++mc_stats->expanded_pairs;
   p->exploration_started = 0;
@@ -23,17 +22,12 @@ mc_pair_t MC_pair_new()
 
 void MC_pair_delete(mc_pair_t p)
 {
-  p->automaton_state = NULL;
+  p->automaton_state = nullptr;
   if(p->visited_pair_removed)
     MC_state_delete(p->graph_state, 1);
   xbt_dynar_free(&(p->atomic_propositions));
   xbt_free(p);
-  p = NULL;
-}
-
-void mc_pair_free_voidp(void *p)
-{
-  MC_pair_delete((mc_pair_t) * (void **) p);
+  p = nullptr;
 }
 
 }