- model_print(" read-from: %s", read_from_empty() ? "empty" : "non-empty ");
- for (int i = read_from_index + 1; i < (int)may_read_from.size(); i++)
- model_print("[%d]", may_read_from[i]->get_seq_number());
+ model_print(" read-from: %s", read_from_past_empty() ? "empty" : "non-empty ");
+ for (int i = read_from_past_idx + 1; i < (int)read_from_past.size(); i++)
+ model_print("[%d]", read_from_past[i]->get_seq_number());