599c599
< } // MipsISA namespace
---
> } // namespace MipsISA