[commit: ghc] master: fix a mistyped label that caused a stray reference (a924deb)

[git at git.haskell.org]

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

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

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

commit a924debcbb3dc5c004f988fcc1b480a01ba276dd
Author: Gabor Greif <ggreif at gmail.com>
Date:   Sun Jan 12 03:26:33 2014 +0100

    fix a mistyped label that caused a stray reference
    
    Richard, you may want to regenerate the PDF
    as I get
    
    ! LaTeX Error: File `stmaryrd.sty' not found.
    
    with my setup and do not want to mess things up.
    
    Also for me ?? appear twice on top of the page 13
    and I have tp 'rm core-spec.pdf; make' to get it
    right.


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

a924debcbb3dc5c004f988fcc1b480a01ba276dd
 docs/core-spec/core-spec.mng |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/core-spec/core-spec.mng b/docs/core-spec/core-spec.mng
index e726602..4e134e0 100644
--- a/docs/core-spec/core-spec.mng
+++ b/docs/core-spec/core-spec.mng
@@ -185,7 +185,7 @@ Axiom rules, produced by the type-nats solver:
 
 \gram{\ottmu}
 
-\label{sec:axiom_rule}
+\label{sec:axiom_rules}
 An axiom rule $[[mu]] = [[M(I, role_list, R')]]$ is an axiom name $[[M]]$, with a
 type arity $[[I]]$, a list of roles $[[role_list]]$ for its coercion parameters,
 and an output role $[[R']]$. The definition within GHC also includes a field named