diff options
Diffstat (limited to 'manual/manual/refman/exten.etex')
-rw-r--r-- | manual/manual/refman/exten.etex | 1 |
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} |