(no commit message)

diff --git a/openpower/sv/bitmanip.mdwn b/openpower/sv/bitmanip.mdwn
index 35b38e51621ed7c3846a847a1dc790f2e8954d03..444a935ced390ee0a9cb168884ac6694a92f0ed7 100644 (file)
--- a/openpower/sv/bitmanip.mdwn
+++ b/openpower/sv/bitmanip.mdwn
@@ -539,8 +539,8 @@ a full NTT in-place
 
 Pseudo-code:
 
-    RT <- GFMULADD(RA, RC, RB)
-    RS <- GFMULADD(RA, RC, RB)
+    RT <- GFADD(GFMUL(RA, RC), RB))
+    RS <- GFADD(GFMUL(RA, RC), RB))
 
 
 ## Multiply