Skip to content

Commit

Permalink
Update supervisor_001_draft.md (#243)
Browse files Browse the repository at this point in the history
  • Loading branch information
josef-widder authored Jan 15, 2021
1 parent d260ff3 commit 1b2b240
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions rust-spec/lightclient/supervisor/supervisor_001_draft.md
Original file line number Diff line number Diff line change
Expand Up @@ -584,6 +584,7 @@ func VerifyAndDetect (lightStore LightStore, targetHeight Height)
}
else {
// there is an attack, we exit
submitEvidence(Evidences);
return(lightStore, ErrorAttack);
}
}
Expand Down

0 comments on commit 1b2b240

Please sign in to comment.