Some changes from my thesis.

[cacao.git] / doc / handbook / runtime.tex

diff --git a/doc/handbook/runtime.tex b/doc/handbook/runtime.tex
index 2cb1db8d7537e1e760b1838500bb0aa8ee1be0a2..cd9b4a026cf45a4bf7338aef7757f02aef17cd8c 100644 (file)
--- a/doc/handbook/runtime.tex
+++ b/doc/handbook/runtime.tex
@@ -163,6 +163,7 @@ run-time from one percent slowdowns to speedups up to 51 percent.
 
 
 \section{Run time type checking}
+\label{sectionruntimetypechecking}
 
 Since type tests for trees are more (space) efficient than type tests for
 DAGs, a possible solution is to split a DAG into a tree part and the