another x replaced by *

diff --git a/openpower/isa/sprset.mdwn b/openpower/isa/sprset.mdwn
index 755d573da157e554d24e84cabb0e5067c1ce4cc0..0454cc7576e7f864189a7afca4990e4faf9ff106 100644 (file)
--- a/openpower/isa/sprset.mdwn
+++ b/openpower/isa/sprset.mdwn
@@ -121,7 +121,7 @@ X-Form
 
 * setb RT,BFA
 
-    if CR[4×BFA+32] = 1 then
+    if CR[4*BFA+32] = 1 then
        RT <- 0xFFFF_FFFF_FFFF_FFFF
     else if CR[4*BFA+33]=1 then
        RT <- 0x0000_0000_0000_0001