diff options
Diffstat (limited to 'kernel/genOpcodeFiles.ml')
| -rw-r--r-- | kernel/genOpcodeFiles.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/genOpcodeFiles.ml b/kernel/genOpcodeFiles.ml index 25da7c2685..bda65956be 100644 --- a/kernel/genOpcodeFiles.ml +++ b/kernel/genOpcodeFiles.ml @@ -178,7 +178,7 @@ let pp_coq_jumptbl_h fmt = let pp_coq_arity_h fmt = pp_header false fmt; - Format.fprintf fmt "static signed char arity2[] = {@."; + Format.fprintf fmt "static signed char arity[] = {@."; Array.iter (fun (_, arity) -> Format.fprintf fmt " %d,@." arity ) opcodes; |