(no commit message)

diff --git a/isa_conflict_resolution/isamux_isans.mdwn b/isa_conflict_resolution/isamux_isans.mdwn
index 470968a3fbd3c8bd3969c51178656d76a89b9816..185a98a46579450d8d22c22be7f4a6ebc60f76c2 100644 (file)
--- 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>
+<tt>
   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>
+</tt>
 
 RV Mode