From 3c6d82b3463de92d7bfb0f5b72ef02c7da13c3d5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Mon, 9 Mar 2020 14:00:51 +0100
Subject: [PATCH] [Eva] Fixes the help message of option -eva-domains to
 include all domains.

Including the last registered domain.
---
 src/plugins/value/value_parameters.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/plugins/value/value_parameters.ml b/src/plugins/value/value_parameters.ml
index c0f295d3646..4ee2d353571 100644
--- a/src/plugins/value/value_parameters.ml
+++ b/src/plugins/value/value_parameters.ml
@@ -159,9 +159,9 @@ let domains_list () =
 
 (* Registers a new domain. Updates the help message of -eva-domains. *)
 let register_domain ~name ~descr =
+  domains_ref := (name, descr) :: !domains_ref;
   Cmdline.replace_option_help
-    Domains.option_name "eva" domains (domains_help ());
-  domains_ref := (name, descr) :: !domains_ref
+    Domains.option_name "eva" domains (domains_help ())
 
 (* Checks that a domain has been registered. *)
 let check_domain domain =
-- 
GitLab