sailcov: Correct ordering for cumulative coverage output

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