set will fail property for stack overoflow on win and osx

[simgrid.git] / src / mc / mc_pair.cpp

diff --git a/src/mc/mc_pair.cpp b/src/mc/mc_pair.cpp
index afed72a..345a8f2 100644 (file)
--- a/src/mc/mc_pair.cpp
+++ b/src/mc/mc_pair.cpp
@@ -10,12 +10,13 @@
 #include "src/mc/mc_liveness.h"
 #include "src/mc/mc_private.h"
 
-extern "C" {
+namespace simgrid {
+namespace mc {
 
-mc_pair_t MC_pair_new()
+simgrid::mc::Pair* pair_new()
 {
-  mc_pair_t p = nullptr;
-  p = xbt_new0(s_mc_pair_t, 1);
+  simgrid::mc::Pair* p = nullptr;
+  p = xbt_new0(simgrid::mc::Pair, 1);
   p->num = ++mc_stats->expanded_pairs;
   p->exploration_started = 0;
   p->search_cycle = 0;
@@ -23,7 +24,7 @@ mc_pair_t MC_pair_new()
   return p;
 }
 
-void MC_pair_delete(mc_pair_t p)
+void pair_delete(simgrid::mc::Pair* p)
 {
   p->automaton_state = nullptr;
   if(p->visited_pair_removed)
@@ -34,3 +35,4 @@ void MC_pair_delete(mc_pair_t p)
 }
 
 }
+}
\ No newline at end of file