Skip to content
Snippets Groups Projects
Commit 96bbe755 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[Kernel] remove extraneous '@.' in formatter

parent 028441da
No related branches found
No related tags found
No related merge requests found
...@@ -929,7 +929,7 @@ else_part: ...@@ -929,7 +929,7 @@ else_part:
{ {
let loc = Cil_datatype.Location.of_lexing_loc $sloc in let loc = Cil_datatype.Location.of_lexing_loc $sloc in
Kernel.warning ~wkey:Kernel.wkey_ghost_bad_use ~source:(fst loc) Kernel.warning ~wkey:Kernel.wkey_ghost_bad_use ~source:(fst loc)
"Invalid ghost else ignored@." ; "Invalid ghost else ignored" ;
in_block $5 in_block $5
} }
......
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