From 53dd77b7c69b18f128b72108bb8823c749215bdf Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Tue, 21 Jun 2022 11:20:30 +0200
Subject: [PATCH] Rephrase help message for supported provers.
---
src/main.ml | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/main.ml b/src/main.ml
index 1386f5d4..735e4ed4 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -164,7 +164,8 @@ let verify_cmd =
let prover =
let all_provers = Prover.list_available () in
let doc =
- Fmt.str "Prover to use. Available provers are: %s."
+ 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))
--
GitLab