Let the model-checker decide if the wait transitions should timeout or not.

[simgrid.git] / src / simix / smx_smurf.c

diff --git a/src/simix/smx_smurf.c b/src/simix/smx_smurf.c
index f80b6ce..efaa26e 100644 (file)
--- a/src/simix/smx_smurf.c
+++ b/src/simix/smx_smurf.c
@@ -324,7 +324,7 @@ void SIMIX_request_pre(smx_req_t req, int value)
       break;
 
     case REQ_COMM_WAIT:
-      SIMIX_pre_comm_wait(req);
+      SIMIX_pre_comm_wait(req, value);
       break;
 
     case REQ_COMM_TEST: