fix a mistyped label that caused a stray reference

Authored by ggreif on Jan 11 2014, 8:26 PM.

Description

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.

Details

Committed
ggreifJan 11 2014, 8:26 PM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFFcc29b4659664: Fix typo in error message
Branches
Unknown
Tags
Unknown