From 831cafd89fee8e5632a374af26b4dcbe066afaa2 Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sat, 22 Jun 2019 10:08:35 +0100
Subject: [PATCH] update 64-bit prefix format

---
 simple_v_extension/sv_prefix_proposal.rst | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/simple_v_extension/sv_prefix_proposal.rst b/simple_v_extension/sv_prefix_proposal.rst
index 1c6e0b860..3112069ea 100644
--- a/simple_v_extension/sv_prefix_proposal.rst
+++ b/simple_v_extension/sv_prefix_proposal.rst
@@ -120,8 +120,9 @@ Table showing Standard RV32 encodings:
 | RV32-FR-type  + funct5      + fmt   + rs2[4:0] + rs1[4:0] + rm     | rd[4:0]  + opcode + 1      + 1          |
 +---------------+-------------+-------+----------+----------+--------+----------+--------+--------+------------+
 
-64-bit Instruction Encodings <a name="64-bit-prefix"></a>
+64-bit Instruction Encodings 
 ============================
+<a name="64-bit-prefix"></a>
 
 Where in the 48 bit format the prefix is "0b0011111" in bits 0 to 6, this is
 now set to "0b0111111".
-- 
2.30.2