dune coq top: fix capitialization in error messages

Signed-off-by: Ali Caglayan <[email protected]>
ocaml · Mar 20, 2023 · 6d1ecef · 6d1ecef
1 parent 484d1d7
commit 6d1ecef
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git a/bin/coq/coqtop.ml b/bin/coq/coqtop.ml
@@ -69,12 +69,12 @@ let term =
             | Some m -> snd m
             | None ->
               let hints =
-                [ Pp.textf "is the file part of a stanza?"
-                ; Pp.textf "has the file been written to disk?"
+                [ Pp.textf "Is the file part of a stanza?"
+                ; Pp.textf "Has the file been written to disk?"
                 ]
               in
               User_error.raise ~hints
-                [ Pp.textf "cannot find file: %s"
+                [ Pp.textf "Cannot find file: %s"
                     (coq_file_arg |> Path.Local.to_string)
                 ]
           in
@@ -85,7 +85,7 @@ let term =
             match stanza with
             | None ->
               User_error.raise
-                [ Pp.textf "file not part of any stanza: %s"
+                [ Pp.textf "File not part of any stanza: %s"
                     (coq_file_arg |> Path.Local.to_string)
                 ]
             | Some (`Theory theory) ->

diff --git a/test/blackbox-tests/test-cases/coq/coqtop/coqtop-no-stanza.t b/test/blackbox-tests/test-cases/coq/coqtop/coqtop-no-stanza.t
@@ -8,7 +8,7 @@ Running the Coq Toplevel on a file that is not part of a stanza.
   > (using coq 0.3)
   > EOF
   $ dune coq top foo.v || echo failed
-  Error: cannot find file: foo.v
-  Hint: is the file part of a stanza?
-  Hint: has the file been written to disk?
+  Error: Cannot find file: foo.v
+  Hint: Is the file part of a stanza?
+  Hint: Has the file been written to disk?
   failed