diff options
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 05b3c80f..63d60745 100644 --- a/sailcov/main.ml +++ b/sailcov/main.ml @@ -596,7 +596,7 @@ let _ = read_taken_lists (); begin opt_taken := match !opt_taken with | [] -> ["sail_coverage"] - | l -> List.rev l + | l -> l end; try main () with | Sys_error msg -> prerr_endline msg; exit 1 |