From f19dfa41af10343aafcaa21f5a764a7a56a64bcb Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Fri, 13 Nov 2020 11:22:10 +0000
Subject: sailcov: Correct ordering for cumulative coverage output

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

(limited to 'sailcov')

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