From 5bc82cd49b5a7382d759e3cb639482b316fed133 Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Wed, 12 Jun 2019 16:58:30 +0100
Subject: [PATCH]

---
 isa_conflict_resolution/isamux_isans.mdwn | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/isa_conflict_resolution/isamux_isans.mdwn b/isa_conflict_resolution/isamux_isans.mdwn
index 7440c380e..470968a3f 100644
--- a/isa_conflict_resolution/isamux_isans.mdwn
+++ b/isa_conflict_resolution/isamux_isans.mdwn
@@ -10,14 +10,14 @@ bits are instead set via a CSR: hence why they are described as "hidden".
 
 # Hypothetical Format
 
-```
+<pre>
   3                   2                
   1
 1 0 9 8 7 6 5 4 3 2 1 0 9 8 7 6 5 4 3 2 1 0 9 8 7 6 5 4 3 2 1 0
      reserved                      |          |      | foreignarch |1|
        reserved                    |          |        |B| rvcpage |0|
 
-```
+</pre>
 
 RV Mode
 
-- 
2.30.2