model: improve build_reads_from_past() comment

diff --git a/model.cc b/model.cc
index 3e25dc6f0171d5efce0480504ec4c4ba14190c4b..a67163f0c34c761e3fac0b5b2c39b180ed8c2444 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -340,7 +340,7 @@ void ModelChecker::build_reads_from_past(ModelAction *curr)
                        }
                        curr->get_node()->add_read_from(act);
 
-                       /* Include at most one act that "happens before" curr */
+                       /* Include at most one act per-thread that "happens before" curr */
                        if (act->happens_before(curr))
                                break;
                }