added platform for ns3 wifi example

[simgrid.git] / src / mc / mc_record.hpp

diff --git a/src/mc/mc_record.hpp b/src/mc/mc_record.hpp
index 1cc96be99c8ab339e36d170228a4192c2253f891..9bf1399606a54745e6fda255056b8d88be311b5c 100644 (file)
--- 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`.
  *