model: add current action work_queue comment

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index 1e081204af163b68e321052f58387b6911c69dba..2b902ba809106795e77791bde5d500653934ed43 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -613,6 +613,7 @@ Thread * ModelChecker::check_current_action(ModelAction *curr)
                build_reads_from_past(curr);
        curr = newcurr;
 
+       /* Initialize work_queue with the "current action" work */
        work_queue_t work_queue(1, CheckCurrWorkEntry(curr));
 
        while (!work_queue.empty()) {