update intro en spl

[cc1516.git] / deliverables / report / ext.tex

diff --git a/deliverables/report/ext.tex b/deliverables/report/ext.tex
index 0491bc7..70ae2f6 100644 (file)
--- a/deliverables/report/ext.tex
+++ b/deliverables/report/ext.tex
@@ -1,4 +1,4 @@
-\section{Extensions}
+\section{Extensions}\label{sec:ext}
 \subsection{Higher order functions}
 The nature of the type checking algorithm already included type checking and
 inferring the type of higher order functions. Since we allow constants there is