summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--docs/users_guide/exts/instances.rst4
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/users_guide/exts/instances.rst b/docs/users_guide/exts/instances.rst
index 84276527a3..17ef06885b 100644
--- a/docs/users_guide/exts/instances.rst
+++ b/docs/users_guide/exts/instances.rst
@@ -486,8 +486,8 @@ like this:
- :math:`IY` is strictly more specific than :math:`IX`. That
is, :math:`IY` is a substitution instance of :math:`IX` but not vice versa.
- - Either :math:`IX` is *overlappable*, or :math:`IY` is *overlapping*. (This
- "either/or" design, rather than a "both/and" design, allow a
+ - :math:`IX` is *overlappable* or :math:`IY` is *overlapping*. (This
+ "or" design, rather than an "and" design, allows a
client to deliberately override an instance from a library,
without requiring a change to the library.)