[0*64] should have been [0]*64

https://bugs.libre-soc.org/show_bug.cgi?id=439#c1

diff --git a/openpower/isa/fixedarith.mdwn b/openpower/isa/fixedarith.mdwn
index 5f556607eb591fd3ecae0b7e0671b866ade49599..7edafee2d186920aaf5120d67408d54184170ed9 100644 (file)
--- a/openpower/isa/fixedarith.mdwn
+++ b/openpower/isa/fixedarith.mdwn
@@ -716,7 +716,7 @@ XO-Form
 Pseudo-code:
 
     dividend[0:127] <-  (RA) || [0]*64
-    divisor[0:127] <- [0*64] || (RB)
+    divisor[0:127] <- [0]*64 || (RB)
     if divisor = [0]*128 then
         overflow <- 1
     else
@@ -746,7 +746,7 @@ XO-Form
 Pseudo-code:
 
     dividend[0:127] <-  (RA) || [0]*64
-    divisor[0:127] <- [0*64] || (RB)
+    divisor[0:127] <- [0]*64 || (RB)
     if divisor = [0]*128 then
         overflow <- 1
     else