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

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