diff --git a/src/plugins/markdown-report/md_gen.ml b/src/plugins/markdown-report/md_gen.ml index 701e0e2d5551b3aa48e25a751486326787d9991b..ed6f85bd85691f5dd18ccd5f39f574a501d890f8 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