[commit: ghc] master: s/TypeNats/DataKinds/ in release notes. (7f6518c)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/7f6518ca8c63393079ce40bccd86b01174452fc6/ghc

>---------------------------------------------------------------

commit 7f6518ca8c63393079ce40bccd86b01174452fc6
Author: Austin Seipp <austin at well-typed.com>
Date:   Mon Sep 16 10:45:32 2013 -0500

    s/TypeNats/DataKinds/ in release notes.
    
    Signed-off-by: Austin Seipp <austin at well-typed.com>


>---------------------------------------------------------------

7f6518ca8c63393079ce40bccd86b01174452fc6
 docs/users_guide/7.8.1-notes.xml |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/users_guide/7.8.1-notes.xml b/docs/users_guide/7.8.1-notes.xml
index bbd32e6..48c4bae 100644
--- a/docs/users_guide/7.8.1-notes.xml
+++ b/docs/users_guide/7.8.1-notes.xml
@@ -32,7 +32,7 @@
             <para>
                 GHC can now perform simple evaluation of type-level
                 natural numbers, when using the
-                <literal>TypeNats</literal> extension. For example,
+                <literal>DataKinds</literal> extension. For example,
                 given a type-level constraint such as <literal>(x + 3)
                 ~ 5</literal>, GHC is able to infer that
                 <literal>x</literal> is 2. Similarly, GHC can now