From c29cdfaf723192c0d741ec9602521a0d1c1c2cc3 Mon Sep 17 00:00:00 2001 From: Rudy Ges Date: Tue, 19 Mar 2024 08:03:42 +0100 Subject: [PATCH] Don't change signature --- src/core/define.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/define.ml b/src/core/define.ml index d71055df6d4..f935a80b8c4 100644 --- a/src/core/define.ml +++ b/src/core/define.ml @@ -154,7 +154,7 @@ let get_signature def = *) | "display" | "use_rtti_doc" | "macro_times" | "display_details" | "no_copt" | "display_stdin" | "hxb.stats" | "message.reporting" | "message.log_file" | "message.log_format" | "message.no_color" - | "dump" | "dump_dependencies" | "dump_ignore_var_ids" -> acc + | "dump" | "dump_dependencies" | "dump_ignore_var_ids" | "dump_invalidation_stats" -> acc | _ -> (k ^ "=" ^ v) :: acc ) def.values [] in let str = String.concat "@" (List.sort compare defines) in