diff --git a/src/mem/ruby/protocol/MOESI_CMP_token-L1cache.sm b/src/mem/ruby/protocol/MOESI_CMP_token-L1cache.sm index 5c3d5f79d1..c9fe135ae7 100644 --- a/src/mem/ruby/protocol/MOESI_CMP_token-L1cache.sm +++ b/src/mem/ruby/protocol/MOESI_CMP_token-L1cache.sm @@ -358,7 +358,7 @@ machine(MachineType:L1Cache, "Token protocol") } // You have at least half the token in O-like states - if (state == State:O && state == State:OM) { + if (state == State:O || state == State:OM) { assert(cache_entry.Tokens > (max_tokens() / 2)); }