(no commit message)
[libreriscv.git] / openpower / sv / po9_encoding / discussion.mdwn
index 512563a75e2ef795b60910d2d902d39a53bf627b..ccf780d34e348c31ad88af4e1cd35b103609be59 100644 (file)
@@ -339,7 +339,7 @@ test.  Only EXT000-063 is not by a "process of elimination" (if ... return True)
     return False                          # all else is SVP64/SSingle
 ```
 
-**EXT232-263:**
+**EXT200-263:**
 
 ```
     if not PO9                return False    # eliminate EXT0xx