From fda985af69ca792978ceeef396213fd94095e25a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 9 Apr 2020 20:25:59 +0200
Subject: [PATCH] [Eva] Fixes the output of "-eva-domains help" for domains
without description.
---
src/plugins/value/value_parameters.ml | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/src/plugins/value/value_parameters.ml b/src/plugins/value/value_parameters.ml
index ef524a0d179..0677d81616e 100644
--- a/src/plugins/value/value_parameters.ml
+++ b/src/plugins/value/value_parameters.ml
@@ -182,8 +182,9 @@ let domains_list () =
(fun fmt -> Format.pp_print_text fmt descr)
in
feedback ~level:0
- "List of available domains:@. %a@."
- (Pretty_utils.pp_list ~sep:"@," pp_dom) (List.rev !domains_ref);
+ "List of available domains:@,%a"
+ (Pretty_utils.pp_list ~pre:"@[<v>" ~sep:"@," ~suf:"@]" pp_dom)
+ (List.rev !domains_ref);
raise Cmdline.Exit
(* Registers a new domain. Updates the help message of -eva-domains. *)
--
GitLab