From d0b4540d4f89d85b4e46e941afe7bb26c66b33bf Mon Sep 17 00:00:00 2001
From: ID Bot <idbot@example.com>
Date: Sun, 5 Jan 2025 22:32:35 +0000
Subject: [PATCH] Script updating gh-pages from dca9f1c. [ci skip]

---
 proofreading/draft-irtf-cfrg-aegis-aead.html | 2 ++
 proofreading/draft-irtf-cfrg-aegis-aead.txt  | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/proofreading/draft-irtf-cfrg-aegis-aead.html b/proofreading/draft-irtf-cfrg-aegis-aead.html
index f44e918..5a9c2a2 100644
--- a/proofreading/draft-irtf-cfrg-aegis-aead.html
+++ b/proofreading/draft-irtf-cfrg-aegis-aead.html
@@ -3566,6 +3566,8 @@ <h4 id="name-the-finalizemac-function-2">
     t0 = V[0,0] ^ V[1,0] ^ V[2,0]
     t1 = V[3,0] ^ V[4,0] ^ V[5,0]
     tag = t0 || t1
+
+return tag
 </pre><a href="#section-8.4.2-4" class="pilcrow">¶</a>
 </div>
 </section>
diff --git a/proofreading/draft-irtf-cfrg-aegis-aead.txt b/proofreading/draft-irtf-cfrg-aegis-aead.txt
index 5f78875..374ce1c 100644
--- a/proofreading/draft-irtf-cfrg-aegis-aead.txt
+++ b/proofreading/draft-irtf-cfrg-aegis-aead.txt
@@ -1820,6 +1820,8 @@ return tag
        t1 = V[3,0] ^ V[4,0] ^ V[5,0]
        tag = t0 || t1
 
+   return tag
+
 9.  Implementation Status
 
    _This note is to be removed before publishing as an RFC._