1183d1182
< int tid = inst->threadNumber;
1187c1186,1187
< "skidBuffer.\n", inst->readPC(), inst->seqNum, tid);
---
> "skidBuffer.\n", inst->readPC(), inst->seqNum,
> inst->threadNumber);
1192c1192
< inst->readPC(), inst->seqNum, tid);
---
> inst->readPC(), inst->seqNum, inst->threadNumber);