diff --git a/spec/light-client/supervisor/supervisor_001_draft.md b/spec/light-client/supervisor/supervisor_001_draft.md index 3c3d45d87..8a3ab28d2 100644 --- a/spec/light-client/supervisor/supervisor_001_draft.md +++ b/spec/light-client/supervisor/supervisor_001_draft.md @@ -251,7 +251,7 @@ Replace_Secondary(addr Address, root-of-trust LightBlock) ``` - Implementation remark - - maintain [LCD-INV-ROOT-AGREED.1], that is, + - maintain [LC-INV-ROOT-AGREED.1], that is, ensure root-of-trust = FetchLightBlock(nsec, root-of-trust.Header.Height) - Expected precondition - *FullNodes* is nonempty