3

At the very end of my pdflatex compilation, I get the following error messages:

(see the transcript file for additional information)pdfTeX warning (dest): name
{theorem.10.2} has been referenced but does not exist, replaced by a fixed one

pdfTeX warning (dest): name{theorem.6.1} has been referenced but does not exist
, replaced by a fixed one

And yet there are no undefined reference errors. The problem may be related to the hyperref package, but I am not certain of that.

Can someone offer advice or explanation?

Code snippet:

\begin{theorem}[Type Safety]
\thmlabel{ssds}{safety} \\[-2ex]
\noindent\begin{enumerate}
 \item{} If $ \IsOf{e}{\tau}$ and $e\StepsTo e'$, then $ \IsOf{e'}{\tau}$.      
 \item{} If $\IsOf{e}{\tau}$, then either $\IsVal{e}$, or there exists $e'$ such that $e\StepsTo e'$.
\end{enumerate}
\end{theorem}

closed as unclear what you're asking by egreg, Svend Tveskæg, Werner, user13907, Adam Liter Dec 21 '14 at 2:34

Please clarify your specific problem or add additional details to highlight exactly what you need. As it's currently written, it’s hard to tell exactly what you're asking. See the How to Ask page for help clarifying this question. If this question can be reworded to fit the rules in the help center, please edit the question.

  • 3
    This should not affect the visible reference, but the hyperlinking will be problematic. If you have a reference to Theorem 10.2 or Theorem 6.1 and you click on it, you may see that the PDF view changes to the first or some full page (since the destination is unknown/replaced by a fixed one). This typically happens when you fiddle around with the counters... are you doing such a thing? – Werner Feb 5 '14 at 22:39
  • 1
    It can also happen with \includepdf from pdfpages. – cfr Feb 5 '14 at 22:55
  • 3
    Well, we are certainly short on information. I think that you should build a Minimal Working Example, then it will very likely turn out where the problem lies. – yo' Feb 5 '14 at 23:05
  • Thanks. The problem is definitely with hyperref; as suggested, clicking on the reference leads me to the title page of the book. Yet there are hundreds and hundreds of exactly similar cross-references that work just fine and that do not generate errors! It's not at all obvious what is special about the two that create the problem. Any suggestions for how to track that down? – Bob Harper Feb 6 '14 at 3:46
  • 1
    Bob: Are you still looking for a solution to this? By the way, it is always best if examples are complete, i.e. starting with \documentclass, having the necessary packages (but not more), ending with \end{document}. Basically, one should be able to copy the code and compile it directly. – Torbjørn T. Mar 19 '14 at 0:52