diff options
Diffstat (limited to 'asmcomp')
| -rw-r--r-- | asmcomp/riscv/emit.mlp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/asmcomp/riscv/emit.mlp b/asmcomp/riscv/emit.mlp index 76b9b7ba23..4a9c3e144d 100644 --- a/asmcomp/riscv/emit.mlp +++ b/asmcomp/riscv/emit.mlp @@ -53,7 +53,7 @@ let slot_offset env loc cls = (* Output a symbol *) let emit_symbol s = - emit_symbol '$' s + emit_symbol s let emit_jump op s = if !Clflags.dlcode || !Clflags.pic_code |