From a9c34568a0777e8f6ab40f8758c8aa757dcc5a18 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Fri, 8 Jul 2022 13:05:41 +0200
Subject: [PATCH] [dune] Better synopsis of the project.
---
caisar.opam | 2 +-
dune-project | 2 +-
src/main.ml | 2 +-
3 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/caisar.opam b/caisar.opam
index 3e6e2d80..81d04b88 100644
--- a/caisar.opam
+++ b/caisar.opam
@@ -2,7 +2,7 @@
opam-version: "2.0"
version: "0.1"
synopsis:
- "Platform for characterizing the safety and robustness of artificial intelligence based software"
+ "A platform for characterizing the safety and robustness of artificial intelligence based software"
maintainer: [
"LAISER team, Software Safety and Security Laboratory, CEA-List"
]
diff --git a/dune-project b/dune-project
index 9697b4a7..585375a4 100644
--- a/dune-project
+++ b/dune-project
@@ -53,7 +53,7 @@
(package
(name caisar)
- (synopsis "Platform for characterizing the safety and robustness of artificial intelligence based software")
+ (synopsis "A platform for characterizing the safety and robustness of artificial intelligence based software")
(depends
(ocaml (>= 4.13.0))
(dune-site (= 2.9.0))
diff --git a/src/main.ml b/src/main.ml
index f2ae0f60..41e09fa8 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -185,7 +185,7 @@ let verify_cmd =
let default_cmd =
let doc =
- "Platform for characterizing the safety and robustness of artificial \
+ "A platform for characterizing the safety and robustness of artificial \
intelligence based software."
in
let sdocs = Manpage.s_common_options in
--
GitLab