cleanups in the MC protocol

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

diff --git a/src/mc/mc_checkpoint.cpp b/src/mc/mc_checkpoint.cpp
index a91ef298f6ed95060877f674a4b1468a53929693..f05cfcdf19183f90c326ef73489d72e7a48a09b2 100644 (file)
--- 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);