summaryrefslogtreecommitdiff
path: root/asmcomp
diff options
context:
space:
mode:
authorDavid Allsopp <david.allsopp@metastack.com>2022-07-21 21:23:03 +0100
committerDavid Allsopp <david.allsopp@metastack.com>2022-07-22 08:15:51 +0100
commitad99f064edeffc3b2287e3f66d1ca9db7735171b (patch)
tree15a3861cc370c6704c795b336c07ecd45b1b110b /asmcomp
parentf91722620452f6258a0acfa9ce1346a552fb811d (diff)
downloadocaml-ad99f064edeffc3b2287e3f66d1ca9db7735171b.tar.gz
Fix riscv64 backend
Diffstat (limited to 'asmcomp')
-rw-r--r--asmcomp/riscv/emit.mlp2
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