Obey coding standard for the field names in mc:State.

[simgrid.git] / src / mc / checker / CommunicationDeterminismChecker.cpp

diff --git a/src/mc/checker/CommunicationDeterminismChecker.cpp b/src/mc/checker/CommunicationDeterminismChecker.cpp
index b735472..41d5962 100644 (file)
--- a/src/mc/checker/CommunicationDeterminismChecker.cpp
+++ b/src/mc/checker/CommunicationDeterminismChecker.cpp
@@ -356,8 +356,8 @@ void CommunicationDeterminismChecker::restoreState()
 {
   /* Intermediate backtracking */
   State* last_state = stack_.back().get();
-  if (last_state->system_state) {
-    last_state->system_state->restore(&mc_model_checker->process());
+  if (last_state->system_state_) {
+    last_state->system_state_->restore(&mc_model_checker->process());
     MC_restore_communications_pattern(last_state);
     return;
   }