diff options
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/term.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/term.ml b/kernel/term.ml index 4eac04f2d3..2bce973f55 100644 --- a/kernel/term.ml +++ b/kernel/term.ml @@ -208,7 +208,7 @@ let mkCase (ci, p, c, ac) = Case (ci, p, c, ac) ... with fn [ctxn] : tn := bn. - where the lenght of the jth context is ij. + where the length of the jth context is ij. *) let mkFix fix = Fix fix |