diff options
| author | Maxime Dénès | 2015-12-14 15:16:46 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2015-12-14 15:16:46 +0100 |
| commit | 7c645566ef64f09bd6c80007c9e66305ccb90659 (patch) | |
| tree | b5ab0ddabeace1c2b9c9ce03bd18551d653d7f8b | |
| parent | 78c2ebe640e86e7357982e6e07b8121111a51fcc (diff) | |
Fix \label which was meants to be \ref in doc of CIC terms.
| -rw-r--r-- | doc/refman/RefMan-cic.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/refman/RefMan-cic.tex b/doc/refman/RefMan-cic.tex index e3e49e115d..1554ee04d3 100644 --- a/doc/refman/RefMan-cic.tex +++ b/doc/refman/RefMan-cic.tex @@ -24,7 +24,7 @@ written {\it ``x:T''}. Informally, {\it ``x:T''} can be thought as The types of types are {\em sorts}. Types and sorts are themselves terms so that terms, types and sorts are all components of a common syntactic language of terms which is described in -Section~\label{cic:terms} but, first, we describe sorts. +Section~\ref{cic:terms} but, first, we describe sorts. \subsection[Sorts]{Sorts\label{Sorts} \index{Sorts}} |