Clean leftovers

[simgrid.git] / src / mc / ModelChecker.cpp

diff --git a/src/mc/ModelChecker.cpp b/src/mc/ModelChecker.cpp
index 8fca2ee..243a22e 100644 (file)
--- a/src/mc/ModelChecker.cpp
+++ b/src/mc/ModelChecker.cpp
@@ -279,7 +279,7 @@ void ModelChecker::handle_waitpid()
       }
 #endif
 
-      // We don't care about signals, just reinject them:
+      // We don't care about non-lethal signals, just reinject them:
       if (WIFSTOPPED(status)) {
         XBT_DEBUG("Stopped with signal %i", (int) WSTOPSIG(status));
         errno = 0;