summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
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