small nit in GHASH doc

mamonet · Jun 24, 2024 · fa943e6 · fa943e6
1 parent 4226645
commit fa943e6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/code/gf128/Hacl.Gf128.NI.fst b/code/gf128/Hacl.Gf128.NI.fst
@@ -45,7 +45,7 @@ Comment
   h (carry-less mul) h^3 -> CONTEXT.[1] (16-byte)
   h (carry-less mul) h^2 -> CONTEXT.[2] (16-byte)
   h (carry-less mul) h   -> CONTEXT.[3] (16-byte)
-  h                      -> CONTEXT.[4] (16-byte)"]
+  h (hash key)           -> CONTEXT.[4] (16-byte)"]
 let gcm_init : gf128_init_st Vec.NI =
   gf128_init #Vec.NI