diff options
Diffstat (limited to 'doc/transfer-reference.txt')
| -rw-r--r-- | doc/transfer-reference.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/transfer-reference.txt b/doc/transfer-reference.txt index 07204ce8e..143780381 100644 --- a/doc/transfer-reference.txt +++ b/doc/transfer-reference.txt @@ -158,7 +158,7 @@ argument + 1. To give local definition to some names, use: ``` -let x1 = exp1 +let x1 = exp1 ... xn = expn in exp |