From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sun, 5 Apr 2020 18:25:57 +0000 (+0100)
Subject: another x replaced by *
X-Git-Tag: convert-csv-opcode-to-binary~2930
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=53241fbd41f432696d1727e9784fac7bdc8aea36;p=libreriscv.git

another x replaced by *
---

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