model: add simple comment

diff --git a/model.cc b/model.cc
index 1eac9283fa0ec0f024f313cc750cb54f8113fa7a..bf956804479f3f1e82fe8f04fb273d50ce7c9cbb 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -109,6 +109,7 @@ ModelAction *ModelChecker::get_last_conflict(ModelAction *act)
                default:
                        break;
        }
+       /* linear search: from most recent to oldest */
        action_list_t::reverse_iterator rit;
        for (rit = action_trace->rbegin(); rit != action_trace->rend(); rit++) {
                ModelAction *prev = *rit;