From: lkcl <lkcl@web>
Date: Mon, 1 May 2023 17:40:49 +0000 (+0100)
Subject: (no commit message)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6b8489a00b399e834bc57a1314db0661679ad316;p=libreriscv.git

---

diff --git a/openpower/sv/po9_encoding.mdwn b/openpower/sv/po9_encoding.mdwn
index f4cf7a02a..d53094bff 100644
--- a/openpower/sv/po9_encoding.mdwn
+++ b/openpower/sv/po9_encoding.mdwn
@@ -1,6 +1,6 @@
 # Definitions
 
-**Proposal: Add the following Definition to Section 1.3.1 of Book I**
+**Add the following Definitions to Section 1.3.1 of Book I**
 
 **Definition of Simple-V:**