From e4f12ff482594ec562291bda300feb70a07de96b Mon Sep 17 00:00:00 2001 From: Valentin Gagarin Date: Tue, 7 Feb 2023 11:59:18 +0100 Subject: [PATCH] store paths are not uniquely determined --- doc/manual/src/glossary.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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.