90,96c90
< default: decode CPNUM {
< 15: McrMrc15::mcrMrc15();
< default: decode HTOPCODE_4 {
< 0x0: WarnUnimpl::mcr();
< 0x1: WarnUnimpl::mrc();
< }
< }
---
> 0xf: McrMrc15::mcrMrc15();