From: lkcl <lkcl@web>
Date: Fri, 9 Jun 2023 17:55:00 +0000 (+0100)
Subject: (no commit message)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=69accb9cd1b0e143cc8ea948965c5ee304946932;p=libreriscv.git

---

diff --git a/openpower/sv/po9_encoding/discussion.mdwn b/openpower/sv/po9_encoding/discussion.mdwn
index ae197f9ac..d3f1d8df6 100644
--- a/openpower/sv/po9_encoding/discussion.mdwn
+++ b/openpower/sv/po9_encoding/discussion.mdwn
@@ -129,7 +129,7 @@ unavailable (used by EXT900).
 
 The following identification-criteria may be easily verified by taking
 a copy of the table above and striking out each line that fails each
-test.  Only EXT000-063 are not by a "process of elimination"
+test.  Only EXT000-063 is not by a "process of elimination" (if ... return True)
 
 **Length detection**: (critically-important to be short)