From 1b2b24055c5e44c41347cd524a713f0eddb7881c Mon Sep 17 00:00:00 2001
From: Josef Widder <44643235+josef-widder@users.noreply.github.com>
Date: Fri, 15 Jan 2021 13:39:36 +0100
Subject: [PATCH] Update supervisor_001_draft.md (#243)

---
 rust-spec/lightclient/supervisor/supervisor_001_draft.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/rust-spec/lightclient/supervisor/supervisor_001_draft.md b/rust-spec/lightclient/supervisor/supervisor_001_draft.md
index cdd291436..df7a71b3e 100644
--- a/rust-spec/lightclient/supervisor/supervisor_001_draft.md
+++ b/rust-spec/lightclient/supervisor/supervisor_001_draft.md
@@ -584,6 +584,7 @@ func VerifyAndDetect (lightStore LightStore, targetHeight Height)
             }
             else {
                 // there is an attack, we exit
+		submitEvidence(Evidences);
                 return(lightStore, ErrorAttack);
             }
         }