Browse Source

Update supervisor_001_draft.md (#243)

pull/7804/head
Josef Widder 4 years ago
committed by GitHub
parent
commit
1b2b24055c
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
  1. +1
    -0
      rust-spec/lightclient/supervisor/supervisor_001_draft.md

+ 1
- 0
rust-spec/lightclient/supervisor/supervisor_001_draft.md View File

@ -584,6 +584,7 @@ func VerifyAndDetect (lightStore LightStore, targetHeight Height)
}
else {
// there is an attack, we exit
submitEvidence(Evidences);
return(lightStore, ErrorAttack);
}
}


Loading…
Cancel
Save