From d50e55824234c878a1797ee7b714853d1b1a7840 Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Fri, 9 Jun 2023 13:11:39 +0100
Subject: [PATCH]

---
 openpower/sv/po9_encoding/discussion.mdwn | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/openpower/sv/po9_encoding/discussion.mdwn b/openpower/sv/po9_encoding/discussion.mdwn
index 67df273a7..d394c3842 100644
--- a/openpower/sv/po9_encoding/discussion.mdwn
+++ b/openpower/sv/po9_encoding/discussion.mdwn
@@ -146,7 +146,7 @@ EXT200-231:
     return True
 ```
 
-EXT900:
+**EXT900:**
 
 ```
     # easy first step
@@ -186,8 +186,8 @@ EXT900:
 
 ```
     # easy-elimination, first
-    if Word[30]    =  0b0      return False
     if not PO9                 return False
+    if Word[30]    =  0b0      return False
     # eliminate anything not SVP64:EXT900
     if Word[30:31] =  0b10 and
        Word[33:37] = 0b10001 and
-- 
2.30.2