Correct spelling of command-line option in comment
authorGabor Greif <ggreif@gmail.com>
Thu, 17 Nov 2016 09:13:46 +0000 (10:13 +0100)
committerGabor Greif <ggreif@gmail.com>
Thu, 17 Nov 2016 09:13:46 +0000 (10:13 +0100)
commit2878604e87a594b815399f596e5dcad0efc26e0b
treeda498717acfd70dcc41e5cc7b3f0d278d8af9a67
parent31398fbc6d9ee0bd95de64b08becc38faf188972
Correct spelling of command-line option in comment
compiler/nativeGen/X86/Ppr.hs