diff options
| author | Pierre-Marie Pédrot | 2021-02-26 13:32:20 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2021-02-26 13:32:20 +0100 |
| commit | e494ea6c94e191dc8e9faf8ece29e5a57cc08515 (patch) | |
| tree | b95aaae276fe05f0acd94a9458137e214a231de6 /kernel/byterun/coq_fix_code.h | |
| parent | 7b2cab92eb2d76f4768a2b0ff6d8ccf12102f101 (diff) | |
| parent | d39a01caf4cbbc22cddbaa23234622b21412f058 (diff) | |
Merge PR #13868: Make genOpcodeFiles.ml handle opcode arity.
Reviewed-by: SkySkimmer
Reviewed-by: gares
Reviewed-by: ppedrot
Diffstat (limited to 'kernel/byterun/coq_fix_code.h')
| -rw-r--r-- | kernel/byterun/coq_fix_code.h | 1 |
1 files changed, 0 insertions, 1 deletions
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 |