X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/9104957deccc59e0e804215d5db498fabfd40d29..1aab041889e9a68f49b95561ddb756cb1710157b:/src/mc/mc_record.hpp?ds=sidebyside 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`. *