1 files changed, 1 insertions, 0 deletions
diff --git a/rv64/emit.c b/rv64/emit.c
index f9df146..acb6df3 100644
--- a/rv64/emit.c
+++ b/rv64/emit.c
@@ -557,4 +557,5 @@ rv64_emitfn(Fn *fn, FILE *f)
 		}
 	}
 	id0 += fn->nblk;
+	elf_emitfnfin(fn->name, f);
 }