Fix MSB0 issues in the pseudo-code for augmented register numbering
[libreriscv.git] / mnolan.mdwn
1