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