diff options
Diffstat (limited to 'docs/users_guide/flags.xml')
| -rw-r--r-- | docs/users_guide/flags.xml | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index 1ec1e890ee..0b2e90d36d 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -1502,14 +1502,6 @@ <entry><option>-fno-warn-warnings-deprecations</option></entry> </row> - <row> - <entry><option>-fwarn-typeable-instances</option></entry> - <entry>warn if there are any handwritten <literal>Typeable</literal> - instances (see <xref linkend="deriving-typeable"/>)</entry> - <entry>dynamic</entry> - <entry><option>-fno-warn-typeable-instances</option></entry> - </row> - </tbody> </tgroup> </informaltable> |