rename to encoding (4) since rebase added 3 already
[libreriscv.git] / openpower / sv / po9_encoding / discussion.mdwn
index 7fc14414fef62b946ab0a12784f22678aab19754..3ec6cb07d46277947fa5b2ff4fdec1a1051f8576 100644 (file)
@@ -124,7 +124,7 @@ Length detection:
     else                     return 64
 ```
 
-# alternative encoding (3)
+# alternative encoding (4)
 
 derived from <https://bugs.libre-soc.org/show_bug.cgi?id=924#c20>