diff options
Diffstat (limited to 'compiler/GHC/Driver/Flags.hs')
| -rw-r--r-- | compiler/GHC/Driver/Flags.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/GHC/Driver/Flags.hs b/compiler/GHC/Driver/Flags.hs index 8c1b090023..5f4d14723e 100644 --- a/compiler/GHC/Driver/Flags.hs +++ b/compiler/GHC/Driver/Flags.hs @@ -121,6 +121,7 @@ data GeneralFlag | Opt_D_faststring_stats | Opt_D_dump_minimal_imports | Opt_DoCoreLinting + | Opt_DoLinearCoreLinting | Opt_DoStgLinting | Opt_DoCmmLinting | Opt_DoAsmLinting |