From ba13a79f53d92769c3e11cd31a283eda26b67dd3 Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@m4x.org> Date: Wed, 6 Dec 2017 11:02:19 +0100 Subject: [PATCH] Fixes typo --- src/plugins/markdown-report/md_gen.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/plugins/markdown-report/md_gen.ml b/src/plugins/markdown-report/md_gen.ml index 701e0e2d555..ed6f85bd856 100644 --- a/src/plugins/markdown-report/md_gen.ml +++ b/src/plugins/markdown-report/md_gen.ml @@ -415,7 +415,7 @@ let gen_section_warnings env = Text [ Plain "Note that this does not take into account emitted alarms:"; Plain "they are reported in"; - Link (plain "in the next section", "#alarms") + Link (plain "the next section", "#alarms") ] ]; make_warnings_table warnings -- GitLab