82c82
< } // PowerISA namespace
---
> } // namespace PowerISA