Change "OPTIONS" to "OPTIONS_GHC" in error messages; fixes #4327
authorIan Lynagh <igloo@earth.li>
Fri, 24 Sep 2010 12:04:23 +0000 (12:04 +0000)
committerIan Lynagh <igloo@earth.li>
Fri, 24 Sep 2010 12:04:23 +0000 (12:04 +0000)
commita3a88e4d58f7b3d8df8304052e603b274f90671d
tree46ba0a7fa5b38db4f2abe5e88c8695b1945b72ac
parentfb11ede04563625454ab7eb1cd6407901f5f4018
Change "OPTIONS" to "OPTIONS_GHC" in error messages; fixes #4327
compiler/main/HeaderInfo.hs