Simplify the serialization protocol to implement TestAny & WaitAny in a moment

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

diff --git a/src/mc/ModelChecker.cpp b/src/mc/ModelChecker.cpp
index fdae4fe..4fdb59d 100644 (file)
--- a/src/mc/ModelChecker.cpp
+++ b/src/mc/ModelChecker.cpp
@@ -332,7 +332,7 @@ Transition* ModelChecker::handle_simcall(aid_t aid, int times_considered, bool n
     checker_side_.dispatch(); // The app may send messages while processing the transition
 
   if (new_transition)
-    return recv_transition(aid, times_considered, answer.simcall, answer.buffer);
+    return recv_transition(aid, times_considered, answer.buffer);
   else
     return nullptr;
 }