diff options
Diffstat (limited to 'docs/users_guide/using.rst')
| -rw-r--r-- | docs/users_guide/using.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/using.rst b/docs/users_guide/using.rst index ce6f22e95a..f9f7449e4e 100644 --- a/docs/users_guide/using.rst +++ b/docs/users_guide/using.rst @@ -475,7 +475,7 @@ The available mode flags are: Print ``True`` if GHC was built with ``-DDebug`` flag. This enables assertions and extra debug code. - The flag can be set in ``GhcStage1HcOpts`` and/or ``GhcStage2HcOpts`` + The flag can be set in ``GhcStage0HcOpts`` and/or ``GhcStage1HcOpts`` and is automatically set for ``devel1`` and ``devel2`` build flavors. .. ghc-flag:: --print-global-package-db |