From dcead2f0839a576d166e0421406a96b107b9097f Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Thu, 22 Oct 2020 15:13:08 +0100
Subject: sailcov: correct histogram table heading

---
 sailcov/main.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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';
-- 
cgit v1.2.3