From 4c3339ab6a3db4ff8ea232527450177d2411922e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mateusz=20G=C3=B3rski?= Date: Wed, 18 Aug 2021 12:45:58 +0200 Subject: [PATCH] Update supervisor_001_draft.md (#334) --- spec/light-client/supervisor/supervisor_001_draft.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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