From 53241fbd41f432696d1727e9784fac7bdc8aea36 Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sun, 5 Apr 2020 19:25:57 +0100
Subject: [PATCH] another x replaced by *

---
 openpower/isa/sprset.mdwn | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/openpower/isa/sprset.mdwn b/openpower/isa/sprset.mdwn
index 755d573da..0454cc757 100644
--- 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
-- 
2.30.2