239c239
< } // PowerISA namespace
---
> } // namespace PowerISA