diff options
| author | Alasdair | 2020-05-15 14:26:41 +0100 |
|---|---|---|
| committer | Alasdair | 2020-05-15 14:26:41 +0100 |
| commit | 3dd676bd3c898680afbf34b0f61c4f522ffe1a49 (patch) | |
| tree | d5b56d75031ea9be006290f704b402fcdcaf7fe9 /sailcov | |
| parent | fe0ca9c915fa7192b8c286e1e64822ee511de5b1 (diff) | |
Fix more typos
Diffstat (limited to 'sailcov')
| -rw-r--r-- | sailcov/README.md | 2 | ||||
| -rw-r--r-- | sailcov/main.ml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/sailcov/README.md b/sailcov/README.md index b99492e2..069ed7c0 100644 --- a/sailcov/README.md +++ b/sailcov/README.md @@ -46,7 +46,7 @@ html. ### Colour options -`sailcov -h` will list the available options for the colours used in +`sailcov -help` will list the available options for the colours used in the output. The hue and saturation for the colours used for covered and uncovered code can be individually set. Alternatively the default red/green colours for uncovered/covered can be swapped for a diff --git a/sailcov/main.ml b/sailcov/main.ml index 6e10b8b6..d16fe9ba 100644 --- a/sailcov/main.ml +++ b/sailcov/main.ml @@ -225,7 +225,7 @@ let main () = Printf.printf "%s (%d/%d)\n" file (SpanSet.cardinal taken) (SpanSet.cardinal all) ) !opt_files -let usage_msg = "usage: sailcov -c <file> -a <file> <.sail files>\n" +let usage_msg = "usage: sailcov -t <file> -a <file> <.sail files>\n" let _ = Arg.parse options |