diff options
| author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-02-27 13:04:54 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-27 13:04:54 +0100 |
| commit | 1b49e6fea9ccca9ae2aa6b493040f8df46d63963 (patch) | |
| tree | 377e42870ae4909c5f61b2b1d295021220f4460d /doc/manual | |
| parent | b0c23999d265d5dca27f99cc0fb4c8ca111f42b2 (diff) | |
use the term reference correctly
Diffstat (limited to 'doc/manual')
| -rw-r--r-- | doc/manual/src/glossary.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual/src/glossary.md b/doc/manual/src/glossary.md index 03ccc1983..d2feecb2f 100644 --- a/doc/manual/src/glossary.md +++ b/doc/manual/src/glossary.md @@ -139,7 +139,7 @@ closures of store paths. As an example, if the [store object] at path `P` contains a [reference] - to store object `Q`, then `Q` is in the closure of `P`. Further, if `Q` + to a store object at path `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}\ |