diff options
| -rw-r--r-- | doc/tut1.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/tut1.txt b/doc/tut1.txt index 4c32fa0ae..324a38b0a 100644 --- a/doc/tut1.txt +++ b/doc/tut1.txt @@ -1070,7 +1070,7 @@ Operation Comment ``dec(x, n)`` decrements `x` by `n`; `n` is an integer ``succ(x)`` returns the successor of `x` ``succ(x, n)`` returns the `n`'th successor of `x` -``prec(x)`` returns the predecessor of `x` +``pred(x)`` returns the predecessor of `x` ``pred(x, n)`` returns the `n`'th predecessor of `x` ----------------- -------------------------------------------------------- |