diff options
| -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 bd2a84c2ec..94b45989a4 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -1021,7 +1021,7 @@ </entry> <entry>dynamic</entry> <entry><option>-XNoMonoLocalBinds</option></entry> - </row> + </row> <row> <entry><option>-XNoMonomorphismRestriction</option></entry> <entry>Disable the <link linkend="monomorphism">monomorphism restriction</link>.</entry> |