X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=openpower%2Fsv%2Frfc%2Fls011.mdwn;h=265950d5780e4e8a0fd5fc56f587f54c8ede07be;hb=e9f1a5fffb382515d3cb5c6d537e60f31987c8da;hp=b091a97fd9f413ee4eee0f30a68cf171267d905b;hpb=36c2d7f2f581809e99cd3a7a82a7f175311c3c06;p=libreriscv.git

diff --git a/openpower/sv/rfc/ls011.mdwn b/openpower/sv/rfc/ls011.mdwn
index b091a97fd..265950d57 100644
--- a/openpower/sv/rfc/ls011.mdwn
+++ b/openpower/sv/rfc/ls011.mdwn
@@ -217,11 +217,19 @@ Add the following as a new section in Floating-Point Load, Book I 4.6.2
 
 [[!inline pages="openpower/isa/fpload" raw=yes ]]
 
+-----
+
+\newpage{}
+
+# Floating-Point Store Post-Update
+
+Add the following as a new section in Floating-Point Store, Book I 4.6.3
+
+[[!inline pages="openpower/isa/fpstore" raw=yes ]]
+
 \newpage{}
 [[!inline pages="openpower/isa/fixedload" raw=yes ]]
 \newpage{}
 [[!inline pages="openpower/isa/fixedstore" raw=yes ]]
-\newpage{}
-[[!inline pages="openpower/isa/fpstore" raw=yes ]]
 
 [[!tag opf_rfc]]