From ab94a2a5dbe142d972d65a33d977e8e9f8d52f01 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Wed, 17 Feb 2021 12:12:29 +0100
Subject: Make the generated file the official source of arity.

---
 kernel/byterun/coq_fix_code.h | 1 -
 1 file changed, 1 deletion(-)

(limited to 'kernel/byterun/coq_fix_code.h')

diff --git a/kernel/byterun/coq_fix_code.h b/kernel/byterun/coq_fix_code.h
index 5a233e6178..916d9753a4 100644
--- a/kernel/byterun/coq_fix_code.h
+++ b/kernel/byterun/coq_fix_code.h
@@ -18,7 +18,6 @@ void * coq_stat_alloc (asize_t sz);
 #ifdef THREADED_CODE
 extern char ** coq_instr_table;
 extern char * coq_instr_base;
-void init_arity();
 #define VALINSTR(instr) ((opcode_t)(coq_instr_table[instr] - coq_instr_base))
 #else
 #define VALINSTR(instr) instr
-- 
cgit v1.2.3