From ad99f064edeffc3b2287e3f66d1ca9db7735171b Mon Sep 17 00:00:00 2001 From: David Allsopp Date: Thu, 21 Jul 2022 21:23:03 +0100 Subject: Fix riscv64 backend --- asmcomp/riscv/emit.mlp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'asmcomp') 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 -- cgit v1.2.1