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/genOpcodeFiles.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/genOpcodeFiles.ml')

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;
-- 
cgit v1.2.3