diff options
| author | bringert <bringert@cs.chalmers.se> | 2006-03-01 12:52:23 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2006-03-01 12:52:23 +0000 |
| commit | c01ff143f43540f16b46e8a38d46172823520ded (patch) | |
| tree | c727b878e480994732ca2fd9d22c3c8736785746 /doc/transfer-reference.txt | |
| parent | 4cb90a0c69fa8fe9e1275f6ffbd51fd21e9c56ca (diff) | |
Remove superfluous space in transfer let description.
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 |