diff options
Diffstat (limited to 'docs/users_guide/using-warnings.rst')
| -rw-r--r-- | docs/users_guide/using-warnings.rst | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/docs/users_guide/using-warnings.rst b/docs/users_guide/using-warnings.rst index 5727b829eb..e71ae927ef 100644 --- a/docs/users_guide/using-warnings.rst +++ b/docs/users_guide/using-warnings.rst @@ -371,10 +371,6 @@ of ``-W(no-)*``. Causes a warning to be emitted if an enumeration is empty, e.g. ``[5 .. 3]``. -.. ghc-flag:: -Wlazy-unlifted-bindings - - This flag is a no-op, and will be removed in GHC 7.10. - .. ghc-flag:: -Wduplicate-constraints .. index:: |