diff options
| author | Brian Campbell | 2020-10-22 15:13:08 +0100 |
|---|---|---|
| committer | Brian Campbell | 2020-10-22 15:13:08 +0100 |
| commit | dcead2f0839a576d166e0421406a96b107b9097f (patch) | |
| tree | 1da13a73336208e5bf60745d313ba94640f587c7 /sailcov | |
| parent | 2c1f339c488412c20745d292d1dcf324856cc5e9 (diff) | |
sailcov: correct histogram table heading
Diffstat (limited to 'sailcov')
| -rw-r--r-- | sailcov/main.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sailcov/main.ml b/sailcov/main.ml index 03f169e6..15b2590c 100644 --- a/sailcov/main.ml +++ b/sailcov/main.ml @@ -300,7 +300,7 @@ let read_taken_files all = | Some file_name -> let chan = open_out file_name in Printf.fprintf chan "Total, File, sum"; - for i = 1 to List.length !opt_files do + for i = 1 to List.length !opt_taken do Printf.fprintf chan ", %d" i done; output_char chan '\n'; |
