From 071e4d0d48cf507bfd7cce5f3a13f36c6f0ddf88 Mon Sep 17 00:00:00 2001
From: swrup <swrup@protonmail.com>
Date: Sun, 8 Feb 2026 14:37:24 +0100
Subject: [PATCH]

---
 tools/gen_signatures_registry.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/gen_signatures_registry.ml b/tools/gen_signatures_registry.ml
index 96f1dc19..15dd0ad8 100644
--- a/tools/gen_signatures_registry.ml
+++ b/tools/gen_signatures_registry.ml
@@ -77,6 +77,7 @@ let f records =
   List.filter (fun v -> v.number >= 1000_l)
 
 let read_file file = In_channel.with_open_bin file In_channel.input_all
+let file_header = {|...|}
 
 let () =
   let content = read_file "registry.rec" in