From ff0a09cc5f715f86fe971fec45fcf1f31d58036e Mon Sep 17 00:00:00 2001
From: Philippe Chataignon <philippe@ldlc>
Date: Sun, 22 May 2022 18:41:54 +0200
Subject: [PATCH] Print header when print hex

---
 gen/listdic.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gen/listdic.c b/gen/listdic.c
index 1b20b15..b4083b2 100644
--- a/gen/listdic.c
+++ b/gen/listdic.c
@@ -33,7 +33,6 @@ void print_header(Dictionary dic)
 
 void print_dic_hex(Dictionary dic)
 {
-    printf("%d\n", dic->nedges);
 	for (int i = 0; i < dic->nedges + 1; i++) {
 	    Dawg_edge* e = dic->dawg + i;
 	    printf("%2d ptr=%2d t=%d l=%d f=%d chr=%d (%c)\n",
@@ -111,6 +110,7 @@ int main(int argc, char *argv[])
 		print_header(&dic);
 	}
 	if (option_print_dic_hex) {
+		print_header(&dic);
 		print_dic_hex(&dic);
 	}
 	if (option_print_dic_list) {