summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBrian Campbell2020-10-22 15:13:08 +0100
committerBrian Campbell2020-10-22 15:13:08 +0100
commitdcead2f0839a576d166e0421406a96b107b9097f (patch)
tree1da13a73336208e5bf60745d313ba94640f587c7
parent2c1f339c488412c20745d292d1dcf324856cc5e9 (diff)
sailcov: correct histogram table heading
-rw-r--r--sailcov/main.ml2
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';