aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorValentin Gagarin <valentin.gagarin@tweag.io>2023-02-07 20:40:29 +0100
committerGitHub <noreply@github.com>2023-02-07 20:40:29 +0100
commitf370a5a26cf8680f0d77b07d71b471a3e5222a48 (patch)
tree4df6a7cbccb3b167ac67a6f64b1b06dbc6590fa3
parente4f12ff482594ec562291bda300feb70a07de96b (diff)
Update doc/manual/src/glossary.md
Co-authored-by: John Ericson <git@JohnEricson.me>
-rw-r--r--doc/manual/src/glossary.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual/src/glossary.md b/doc/manual/src/glossary.md
index a17a9e9eb..eeabdbfdc 100644
--- a/doc/manual/src/glossary.md
+++ b/doc/manual/src/glossary.md
@@ -140,7 +140,7 @@
closures of store paths.
As an example, if the store object at path `P` contains a [reference]
- to path `Q`, then `Q` is in the closure of `P`. Further, if `Q`
+ to store object `Q`, then `Q` is in the closure of `P`. Further, if `Q`
references `R` then `R` is also in the closure of `P`.
- [output path]{#gloss-output-path}\