Commit 52d32d5c authored by Andre Maroneze's avatar Andre Maroneze 💬 Committed by Virgile Prevosto
Browse files

[MdR] fix minor typos in SARIF output

parent 6b02d0cf
......@@ -63,7 +63,7 @@ let gen_remark alarm =
[ Block
[ Text
(plain
(Printf.sprintf "This alarms represents a potential %s."
(Printf.sprintf "This alarm represents a potential %s."
(Alarms.get_description alarm)
)
)
......@@ -172,7 +172,7 @@ let gen_run remarks =
| [] -> rules
| _ ->
Datatype.String.Map.add
"user-spec" "User written ACSL specification" rules
"user-spec" "User-written ACSL specification" rules
in
let rules = make_rule_dictionary rules in
let resources = Resources.create ~rules () in
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment