diff options
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/main/HeaderInfo.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/main/HeaderInfo.hs b/compiler/main/HeaderInfo.hs index 0f0798b70f..508f855f48 100644 --- a/compiler/main/HeaderInfo.hs +++ b/compiler/main/HeaderInfo.hs @@ -256,7 +256,7 @@ checkProcessArgsResult flags liftIO $ throwIO $ mkSrcErr $ listToBag $ map mkMsg flags where mkMsg (L loc flag) = mkPlainErrMsg loc $ - (text "unknown flag in {-# OPTIONS #-} pragma:" <+> + (text "unknown flag in {-# OPTIONS_GHC #-} pragma:" <+> text flag) ----------------------------------------------------------------------------- @@ -295,5 +295,5 @@ optionsErrorMsgs unhandled_flags flags_lines _filename L l f' <- flags_lines, f == f' ] mkMsg (L flagSpan flag) = ErrUtils.mkPlainErrMsg flagSpan $ - text "unknown flag in {-# OPTIONS #-} pragma:" <+> text flag + text "unknown flag in {-# OPTIONS_GHC #-} pragma:" <+> text flag |