265c265,266
< void squashAfter(ThreadID tid, uint64_t squash_after_seq_num);
---
> void squashAfter(ThreadID tid, DynInstPtr &head_inst,
> uint64_t squash_after_seq_num);