From c9fc300f2df14d2db236689176d11d66b4368242 Mon Sep 17 00:00:00 2001 From: Arthur Liao Date: Fri, 2 Jan 2015 20:20:55 +0800 Subject: Fix typo --- doc/tut1.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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` ----------------- -------------------------------------------------------- -- cgit 1.4.1-2-gfad0