From 2598e54b949d9ce9de6cacb6facca9471944ba65 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 7 Nov 2017 16:18:28 +0100
Subject: [PATCH] Fix order of warnings
---
src/plugins/markdown-report/md_gen.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/markdown-report/md_gen.ml b/src/plugins/markdown-report/md_gen.ml
index aa32175fb9a..98393b5a309 100644
--- a/src/plugins/markdown-report/md_gen.ml
+++ b/src/plugins/markdown-report/md_gen.ml
@@ -396,7 +396,7 @@ let gen_section_warnings env =
in
H1 (plain "Errors in the analyzer", Some "errors")
:: prelude
- @ make_errors_list env errs
+ @ make_errors_list env (List.rev errs)
end else []
in
if Messages.nb_warnings () <> 0 then begin
@@ -424,7 +424,7 @@ let gen_section_warnings env =
error_section @
H1 (plain "Warnings", Some "warnings")
:: prelude
- @ make_warnings_list env warnings
+ @ make_warnings_list env (List.rev warnings)
end else error_section
let gen_section_alarms env =
--
GitLab