Browse Source

Fix capitalization of message in Use.re (#197)

remotes/origin/add-simple-redirecting-site
Waldir Pimenta 5 years ago committed by GitHub
parent
commit
072ad2a65a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      executable/Use.re

2
executable/Use.re

@ -109,7 +109,7 @@ let rec askIfInstall = (~version, ~quiet, retry) => { @@ -109,7 +109,7 @@ let rec askIfInstall = (~version, ~quiet, retry) => {
retry(~version, ~quiet);
| "N"
| "n" =>
let%lwt () = Lwt_io.write_line(Lwt_io.stderr, "not installing!");
let%lwt () = Lwt_io.write_line(Lwt_io.stderr, "Not installing!");
Lwt.return_ok();
| _ =>
let%lwt _ =

Loading…
Cancel
Save