43,46c43
< default='ALPHA,ALPHA_MOESI_hammer,' \
< 'ALPHA_MESI_Two_Level,' \
< 'ALPHA_MOESI_CMP_directory,' \
< 'ALPHA_MOESI_CMP_token,' \
---
> default='ALPHA,' \
48a46,49
> 'NULL_MOESI_hammer,' \
> 'NULL_MESI_Two_Level,' \
> 'NULL_MOESI_CMP_directory,' \
> 'NULL_MOESI_CMP_token,' \