Rework the doc of model-check/replay, and add an example with sthread

[simgrid.git] / tools / internal / spell_dict.txt

diff --git a/tools/internal/spell_dict.txt b/tools/internal/spell_dict.txt
index 1e0a264..86b7ac1 100644 (file)
--- a/tools/internal/spell_dict.txt
+++ b/tools/internal/spell_dict.txt
@@ -62,7 +62,6 @@ ModelChecker
 modelchecker
 MPI
 MPICH
-msg
 mutex
 NetZone
 nullptr