remove => operator, replace with ~^

diff --git a/openpower/isa/branch.mdwn b/openpower/isa/branch.mdwn
index 6c1a5962248a054c0c48afb97e9bfa257a436ed7..707f734d202757a4cd31ecec17195cebff4705fc 100644 (file)
--- a/openpower/isa/branch.mdwn
+++ b/openpower/isa/branch.mdwn
@@ -88,7 +88,7 @@ XL-Form
       else M <- 32
     if ¬BO[2] then CTR <- CTR - 1
     ctr_ok <- BO[2]  | ((CTR[M:63] != 0) ^ BO[3]
-    cond_ok <- BO[0] | (CR[BI+32] => BO[1])
+    cond_ok <- BO[0] | ¬(CR[BI+32] ^ BO[1])
     if ctr_ok & cond_ok then NIA <-iea TAR[0:61]  || 0b00
     if LK then LR <-iea  CIA + 4