pdfTeX warnings about book HOT 2 CLOSED

nope, i get long, long streams of errors on every build. it's unusual.

bob

On Mar 21, 2013, at 5:33 PM, Andrej Bauer wrote:

Am I the only one getting hundres of warning from pdfTex during compilation, like this:

[285pdfTeX warning (ext4): destination with the same identifier (name{lem.10.2.7}) has been already used, duplicate ignored
—
Reply to this email directly or view it on GitHub.

from book.

I figured it out and fixed it: 5238776

from book.