fix doc typo

Closes PR 14626

Merge to v6.1
(cherry picked from commit b3dd3954fb)
This commit is contained in:
Matthew Flatt 2014-07-10 13:18:15 +01:00 committed by Ryan Culpepper
parent c76fc74853
commit 6b78f47876

View File

@ -40,7 +40,7 @@ for the new structure subtype, then the resulting structure type has
a subtype than in its base type.
If @math{m'} of the original @math{m} fields are non-automatic (where
@math{m'<m}), and @math{n'} of the new fields are automatic (where
@math{m'<m}), and @math{n'} of the new fields are non-automatic (where
@math{n'<n}), then @math{m'+n'} field values must be provided to the
subtype's constructor procedure. Values for the first @math{m} fields
of a subtype instance are accessed with selector procedures for the