Skip to content
Snippets Groups Projects
Commit ba13a79f authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

Fixes typo

parent 535fa718
No related branches found
No related tags found
No related merge requests found
...@@ -415,7 +415,7 @@ let gen_section_warnings env = ...@@ -415,7 +415,7 @@ let gen_section_warnings env =
Text [ Text [
Plain "Note that this does not take into account emitted alarms:"; Plain "Note that this does not take into account emitted alarms:";
Plain "they are reported in"; Plain "they are reported in";
Link (plain "in the next section", "#alarms") Link (plain "the next section", "#alarms")
] ]
]; ];
make_warnings_table warnings make_warnings_table warnings
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment