summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorCharles.Forsyth <devnull@localhost>2008-06-23 18:39:44 +0000
committerCharles.Forsyth <devnull@localhost>2008-06-23 18:39:44 +0000
commit457abe954bd0d9aac97eef208e6fd3316d189afe (patch)
tree61f798b04ce64d35d89e5094b5cd2e6aa56ba468 /doc
parentc10ad6d11966aa635b33183374277356f450dc9b (diff)
20080623-1939
Diffstat (limited to 'doc')
-rw-r--r--doc/limbo/limbo.ms2
-rw-r--r--doc/limbo/limbo.pdfbin158831 -> 158824 bytes
2 files changed, 1 insertions, 1 deletions
diff --git a/doc/limbo/limbo.ms b/doc/limbo/limbo.ms
index 7f79ce4d..213372c8 100644
--- a/doc/limbo/limbo.ms
+++ b/doc/limbo/limbo.ms
@@ -4228,7 +4228,7 @@ values have the same type
and their argument lists have correspondingly equal types.
Any
.CW self
-attributes given to arguments much match.
+attributes given to arguments must match.
Names given to arguments do not enter into the comparison.
.PP
A type name has the same type as the type from
diff --git a/doc/limbo/limbo.pdf b/doc/limbo/limbo.pdf
index 7086c05d..e385dfd3 100644
--- a/doc/limbo/limbo.pdf
+++ b/doc/limbo/limbo.pdf
Binary files differ