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 cc5d6d3209..149ef6374d 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -1904,7 +1904,7 @@ </row> <row> <entry><option>-fno-print-bind-result</option></entry> - <entry><link id="ghci-stmts">Turn off printing of binding results in GHCi</link></entry> + <entry><link linkend="ghci-stmts">Turn off printing of binding results in GHCi</link></entry> <entry>dynamic</entry> <entry>-</entry> </row> |