From fc5636dc91add170e341e6473873ad6a2a0dd819 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 17 Jan 2025 17:37:58 +0100
Subject: [PATCH] [Eva] Moves new option -eva-annot in the "messages" group.
---
src/plugins/eva/parameters.ml | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/plugins/eva/parameters.ml b/src/plugins/eva/parameters.ml
index c706df45822..131d5afea37 100644
--- a/src/plugins/eva/parameters.ml
+++ b/src/plugins/eva/parameters.ml
@@ -1280,6 +1280,7 @@ let () = add_precision_dep MallocLevel.parameter
(* --- Annotations Generator options --- *)
(* -------------------------------------------------------------------------- *)
+let () = Parameter_customize.set_group messages
module Annot =
Kernel_function_set
(struct
--
GitLab