diff options
| author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-02-07 11:59:18 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-07 11:59:18 +0100 |
| commit | e4f12ff482594ec562291bda300feb70a07de96b (patch) | |
| tree | 8c2ddba07e56057c64808ffa8fd6a09370d3913a /doc/manual | |
| parent | 9be3c6c7c77ade79446f0d6349c6e4b82ccbbb83 (diff) | |
store paths are not uniquely determined
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 fa52b6937..a17a9e9eb 100644 --- a/doc/manual/src/glossary.md +++ b/doc/manual/src/glossary.md @@ -115,7 +115,7 @@ then be built. - [reference]{#gloss-reference}\ - A [store object] `O` is said to have a *reference* to a store object `P` if the [store path] of `P` appears in the contents of `O`. + A [store object] `O` is said to have a *reference* to a store object `P` if a [store path] to `P` appears in the contents of `O`. The *references* of a store object `O` are the set of store objects to which `O` has a reference. Store objects can refer to both other store objects and themselves. |