0e2c65 riscv: Further fix for https://github.com/nojb/riscv-ocaml/issues/2

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