22d2d1d riscv: Further fixes for https://github.com/nojb/riscv-ocaml/issues/2

Authored and Committed by rjones 7 years ago
file modified
+4 -3