summaryrefslogtreecommitdiff
path: root/manual/manual/refman/exten.etex
diff options
context:
space:
mode:
Diffstat (limited to 'manual/manual/refman/exten.etex')
-rw-r--r--manual/manual/refman/exten.etex1
1 files changed, 1 insertions, 0 deletions
diff --git a/manual/manual/refman/exten.etex b/manual/manual/refman/exten.etex
index 9b9e78ed06..ff9d175f3e 100644
--- a/manual/manual/refman/exten.etex
+++ b/manual/manual/refman/exten.etex
@@ -1642,6 +1642,7 @@ and[@bar] y = 3 in x + y === (let x = 2 [@@foo] and y = 3 [@bar] in x
\subsection{Built-in attributes}
+\label{ss:builtin-attributes}
Some attributes are understood by the type-checker:
\begin{itemize}