74c74
< } // PowerISA namespace
---
> } // namespace PowerISA