X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/28f07de780131679dffc1443e213ae7a549bd601..27f768c6fbe663c6de000473c44a61222b77d481:/src/mc/ModelChecker.cpp?ds=sidebyside

diff --git a/src/mc/ModelChecker.cpp b/src/mc/ModelChecker.cpp
index 92895002f4..15f6d234c8 100644
--- a/src/mc/ModelChecker.cpp
+++ b/src/mc/ModelChecker.cpp
@@ -263,7 +263,7 @@ bool ModelChecker::handle_message(char* buffer, ssize_t size)
         _mc_property_automaton = xbt_automaton_new();
 
       simgrid::mc::Process* process = &this->process();
-      simgrid::mc::remote_ptr<int> address
+      simgrid::mc::RemotePtr<int> address
         = simgrid::mc::remote((int*) message.data);
       simgrid::xbt::add_proposition(_mc_property_automaton,
         message.name,