54c54
< } // PowerISA namespace
---
> } // namespace PowerISA