mldsa: fix sloppy naming bug #192

GaloisInc · Dec 23, 2024 · f5e6bbf · f5e6bbf
1 parent 4b70373
commit f5e6bbf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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.