New syntax for GADT-style record declarations, and associated refactoring

[ghc-hetmet.git] / docs / users_guide / 5-04-notes.xml

diff --git a/docs/users_guide/5-04-notes.xml b/docs/users_guide/5-04-notes.xml
index 91b8dcf..e42ea60 100644 (file)
--- a/docs/users_guide/5-04-notes.xml
+++ b/docs/users_guide/5-04-notes.xml
@@ -44,7 +44,7 @@
       <listitem>
        <para>Explicit kind annotations can now be given on any
         binding occurrence of a type variable.  See <xref
-        linkend="sec-kinding">.</para>
+        linkend="kinding">.</para>
       </listitem>
       <listitem>
        <para>The handling of type synonyms has been rationalised.