Browse Source

Fix typo criterias -> criteria (#199)

"criteria" is already in the plural form.
The singlular is "criterion".
remotes/origin/add-simple-redirecting-site
Waldir Pimenta 5 years ago committed by GitHub
parent
commit
d0a17c9066
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      executable/ListRemote.re
  2. 4
      executable/Uninstall.re

2
executable/ListRemote.re

@ -24,7 +24,7 @@ let run = (~version as maybeVersionName) => {
| [] => | [] =>
Console.log( Console.log(
<Pastel color=Pastel.Red> <Pastel color=Pastel.Red>
"No versions found that match your criterias." "No versions found that match your criteria."
</Pastel>, </Pastel>,
); );
Lwt.return_error(1); Lwt.return_error(1);

4
executable/Uninstall.re

@ -37,9 +37,7 @@ let run = (~version) => {
Lwt.return_ok(); Lwt.return_ok();
| _ => | _ =>
Logger.info( Logger.info(
<Pastel> <Pastel> "There are multiple versions matching your criteria:" </Pastel>,
"There are multiple versions matching your criterias:"
</Pastel>,
); );
matchingLocalVersions matchingLocalVersions
|> List.iter(matchingVersion => |> List.iter(matchingVersion =>

Loading…
Cancel
Save