X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/72723ea8d7fa1a09ed87e2c2f84e6467519a4354..cde2aca7feb21f861c3f2da5fa5ae957ff15bb8e:/src/mc/mc_checkpoint.cpp

diff --git a/src/mc/mc_checkpoint.cpp b/src/mc/mc_checkpoint.cpp
index a91ef298f6..f05cfcdf19 100644
--- a/src/mc/mc_checkpoint.cpp
+++ b/src/mc/mc_checkpoint.cpp
@@ -598,7 +598,7 @@ void restore_snapshot_regions(simgrid::mc::Snapshot* snapshot)
   // TODO, send a message to implement this in the MCed process
   if(snapshot->privatization_index >= 0) {
     // Fix the privatization mmap:
-    s_mc_restore_message message;
+    s_mc_message_restore message;
     message.type = MC_MESSAGE_RESTORE;
     message.index = snapshot->privatization_index;
     mc_model_checker->process().getChannel().send(message);