From 44246ae81c3a511d02992fbccff19863056aa6d2 Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sun, 5 Apr 2020 12:01:53 +0100
Subject: [PATCH] missing bracket from spec

---
 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 493e442a8..7a1f2f51d 100644
--- a/openpower/isa/branch.mdwn
+++ b/openpower/isa/branch.mdwn
@@ -49,7 +49,7 @@ XL-Form
     if (mode_is_64bit) then M <- 0
     else M <- 32
     if ¬BO[2]  then CTR <- CTR - 1
-    ctr_ok <- BO[2] | ((CTR[M:63] != 0) ^ BO[3]
+    ctr_ok <- BO[2] | ((CTR[M:63] != 0) ^ BO[3])
     cond_ok <- BO[0] | ¬(CR[BI+32] ^  BO[1])
     if ctr_ok & cond_ok then NIA <-iea LR[0:61] || 0b00
     if LK then LR <-iea CIA + 4
-- 
2.30.2