From 527800ce225293fa2a0806198bd6218efee872a7 Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sat, 4 Apr 2020 22:14:41 +0100
Subject: [PATCH] remove => operator, replace with ~^

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

diff --git a/openpower/isa/branch.mdwn b/openpower/isa/branch.mdwn
index 6c1a59622..707f734d2 100644
--- 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
 
-- 
2.30.2