X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/9104957deccc59e0e804215d5db498fabfd40d29..5930585fb6f11543a87e4c5c72356ac89222237c:/src/mc/mc_record.hpp diff --git a/src/mc/mc_record.hpp b/src/mc/mc_record.hpp index 1cc96be99c..9bf1399606 100644 --- a/src/mc/mc_record.hpp +++ b/src/mc/mc_record.hpp @@ -5,7 +5,7 @@ /** \file mc_record.hpp * - * This file contains the MC replay/record functionnality. + * This file contains the MC replay/record functionality. * The recorded path is written in the log output and can be replayed with MC disabled * (even with an non-MC build) using `--cfg=model-check/replay:$replayPath`. *