From f5e6bbf0262357c3947eb6873dd7b7c235eea10c Mon Sep 17 00:00:00 2001
From: Marcella Hastings <marcella@galois.com>
Date: Mon, 23 Dec 2024 16:35:02 -0500
Subject: [PATCH] mldsa: fix sloppy naming bug #192

---
 Primitive/Asymmetric/Signature/ML_DSA/Specification.cry | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Primitive/Asymmetric/Signature/ML_DSA/Specification.cry b/Primitive/Asymmetric/Signature/ML_DSA/Specification.cry
index 5bf167e..7322d92 100644
--- a/Primitive/Asymmetric/Signature/ML_DSA/Specification.cry
+++ b/Primitive/Asymmetric/Signature/ML_DSA/Specification.cry
@@ -130,7 +130,7 @@ property modPlusMinusWorks m = inRange && congruent where
  * names, we define the following functions.
  */
 NTT_Vec = map NTT
-NTTInv_Vec = map NTT
+NTTInv_Vec = map NTTInv
 
 /**
  * Wrapper function around SHAKE256, specifying the length `l` in bytes.