doc-src/Codegen/Thy/document/Evaluation.tex

--- a/doc-src/Codegen/Thy/document/Evaluation.tex	Sat Nov 27 18:51:04 2010 +0100
+++ b/doc-src/Codegen/Thy/document/Evaluation.tex	Sat Nov 27 18:51:15 2010 +0100
@@ -18,7 +18,7 @@
 %
 \endisadelimtheory
 %
-\isamarkupsection{Evaluation%
+\isamarkupsection{Evaluation \label{sec:evaluation}%
 }
 \isamarkuptrue%
 %