55c55
< } // PowerISA namespace
---
> } // namespace PowerISA