2c2
< * Copyright (c) 2010 ARM Limited
---
> * Copyright (c) 2010-2012 ARM Limited
721c721,722
< if (pkt->isResponse() && !pkt->wasNacked()) {
---
> assert(pkt->isResponse());
> if (!pkt->wasNacked()) {
732c733
< } else if (pkt->wasNacked()) {
---
> } else {
740c741
< //Snooping a Coherence Request, do nothing
---
>
841c842,843
< if (pkt->isResponse() && !pkt->wasNacked()) {
---
> assert(pkt->isResponse());
> if (!pkt->wasNacked()) {
861,862c863
< }
< else if (pkt->wasNacked()) {
---
> } else {
870c871
< //Snooping a Coherence Request, do nothing
---
>