diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/flags.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index 7c21a73e33..c8aeb18f55 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -708,7 +708,7 @@ </row> <row> <entry><option>-XGADTs</option></entry> - <entry>Enable <link linkend="gadts">generalised algebraic data types</link>. + <entry>Enable <link linkend="gadt">generalised algebraic data types</link>. </entry> <entry>dynamic</entry> <entry><option>-XNoGADTs</option></entry> |