Code formatting cleanup.
Code formatting cleanup.

(cherry picked from commit 90f688e892427b1894b6aacb1f8de8d2e41ecb56)

GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc