diff options
Diffstat (limited to 'doc/refman/RefMan-gal.tex')
-rw-r--r-- | doc/refman/RefMan-gal.tex | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/refman/RefMan-gal.tex b/doc/refman/RefMan-gal.tex index f66953b8e..f9dee72ed 100644 --- a/doc/refman/RefMan-gal.tex +++ b/doc/refman/RefMan-gal.tex @@ -598,7 +598,8 @@ Definition bool_case (b:bool) : or (eq bool b true) (eq bool b false) The second subcase is only relevant for annotated inductive types such as the equality predicate (see section~\ref{Equality}), the order -predicate on natural numbers (see section~\ref{le}) or the type of +predicate on natural numbers % (see section~\ref{le}) % undefined reference +or the type of lists of a given length (see section~\ref{listn}). In this configuration, the type of each branch can depend on the type dependencies specific to the branch and the whole pattern-matching expression has a type |