X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/7f4f03348bd07609e258eb3b545bdafc2c881847..e6ca184e99d50d0ee8fe405a83ee5277e2ecfce6:/src/mc/mc_pair.cpp

diff --git a/src/mc/mc_pair.cpp b/src/mc/mc_pair.cpp
index 129e69ad5b..afed72aa13 100644
--- a/src/mc/mc_pair.cpp
+++ b/src/mc/mc_pair.cpp
@@ -4,7 +4,9 @@
 /* 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 <xbt/dynar.h>
+#include <xbt/sysdep.h>
+
 #include "src/mc/mc_liveness.h"
 #include "src/mc/mc_private.h"
 
@@ -12,7 +14,7 @@ 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,12 +25,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;
+  p = nullptr;
 }
 
 }