diff options
Diffstat (limited to 'ghc')
| -rw-r--r-- | ghc/InteractiveUI.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ghc/InteractiveUI.hs b/ghc/InteractiveUI.hs index 4715474623..9b9f319750 100644 --- a/ghc/InteractiveUI.hs +++ b/ghc/InteractiveUI.hs @@ -1983,7 +1983,7 @@ showDynFlags show_all dflags = do (ghciFlags,others) = partition (\(_, f, _) -> f `elem` flgs) DynFlags.fFlags flgs = [ Opt_PrintExplicitForalls - , Opt_PrintKindArgs + , Opt_PrintExplicitKinds , Opt_PrintBindResult , Opt_BreakOnException , Opt_BreakOnError |