From 25fa689f58101f2ccbf5e6e48d1019c692dcb710 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Tue, 6 Sep 2022 15:24:31 +0200
Subject: [PATCH] Simplify construction of help message for supported solvers.
---
src/main.ml | 7 +++----
1 file changed, 3 insertions(+), 4 deletions(-)
diff --git a/src/main.ml b/src/main.ml
index 0fc461f..68d8654 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -165,10 +165,9 @@ let verify_cmd =
let all_provers = Prover.list_available () in
let doc =
Fmt.str
- "Prover to use. Support is provided for the following provers: %s."
- (Fmt.str "%a"
- (Fmt.list ~sep:Fmt.comma Fmt.string)
- (List.map ~f:Prover.to_string all_provers))
+ "Prover to use. Support is provided for the following provers: %a."
+ (Fmt.list ~sep:Fmt.comma Fmt.string)
+ (List.map ~f:Prover.to_string all_provers)
in
let provers =
Arg.enum (List.map ~f:(fun p -> (Prover.to_string p, p)) all_provers)
--
GitLab