From e67be11fd220c05db1f7d27fb721eab69f3ac4df Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Mon, 19 Feb 2024 14:39:54 +0100
Subject: [PATCH] [cli] Fix typo in verify-json help message.
---
src/main.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main.ml b/src/main.ml
index 41e7271..a48d20e 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -320,7 +320,7 @@ let verify_json_cmd =
let cmdname = "verify-json" in
let info =
let doc =
- "Property verification using external provers via json configuration \
+ "Property verification using external provers via a JSON configuration \
file."
in
Cmd.info cmdname ~sdocs:Manpage.s_common_options ~exits:Cmd.Exit.defaults
--
GitLab