Fix little concerns

ocurrent · Dec 3, 2022 · b8862d1 · b8862d1
1 parent fcf5831
commit b8862d1
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 37 deletions.
diff --git a/gitlab/main.ml b/gitlab/main.ml
@@ -210,8 +210,8 @@ let submission_solver_service =
   @@ Arg.opt Arg.(some Capnp_rpc_unix.sturdy_uri) None
   @@ Arg.info
        ~doc:
-         "The submission-solve.cap file for a scheduler service which handle a \
-          solver-worker. The cap file could be same as \
+         "The submission-solve.cap file for a scheduler service which handles \
+          a solver-worker. The cap file could be the same as \
           $(b,--submission-service)."
        ~docv:"FILE"
        [ "submission-solver-service" ]

diff --git a/lib/solver_pool.ml b/lib/solver_pool.ml
diff --git a/service/local.ml b/service/local.ml
@@ -39,8 +39,8 @@ let submission_solver_service =
   @@ Arg.opt Arg.(some Capnp_rpc_unix.sturdy_uri) None
   @@ Arg.info
        ~doc:
-         "The submission-solve.cap file for a scheduler service which handle a \
-          solver-worker."
+         "The submission-solve.cap file for a scheduler service which handles \
+          a solver-worker."
        ~docv:"FILE"
        [ "submission-solver-service" ]
 

diff --git a/service/main.ml b/service/main.ml
@@ -193,8 +193,8 @@ let submission_solver_service =
   @@ Arg.opt Arg.(some Capnp_rpc_unix.sturdy_uri) None
   @@ Arg.info
        ~doc:
-         "The submission-solve.cap file for a scheduler service which handle a \
-          solver-worker. The cap file could be same as \
+         "The submission-solve.cap file for a scheduler service which handles \
+          a solver-worker. The cap file could be the same as \
           $(b,--submission-service)."
        ~docv:"FILE"
        [ "submission-solver-service" ]