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';