X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/b8df87e176f27b25534f27d7e240defa32ca35bc..1499d653d2fa95661c35d4a980461b2f922bab65:/src/mc/mc_base.h diff --git a/src/mc/mc_base.h b/src/mc/mc_base.h index f66f1828ef..a1160d0c6e 100644 --- a/src/mc/mc_base.h +++ b/src/mc/mc_base.h @@ -35,7 +35,7 @@ XBT_PRIVATE void handle_simcall(smx_simcall_t req, int req_num); * Most requests are always enabled but WAIT and WAITANY * are not always enabled: a WAIT where the communication does not * have both a source and a destination yet is not enabled - * (unless timeout is enabled in the wait and enabeld in SimGridMC). + * (unless timeout is enabled in the wait and enabled in SimGridMC). */ XBT_PRIVATE bool actor_is_enabled(smx_actor_t process);