From 96bbe755159ca1662b4b377720d0cbc4b5aa7a00 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Tue, 6 Feb 2024 15:02:25 +0100
Subject: [PATCH] [Kernel] remove extraneous '@.' in formatter
---
src/kernel_internals/parsing/cparser.mly | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/kernel_internals/parsing/cparser.mly b/src/kernel_internals/parsing/cparser.mly
index acab6245091..2e54507bbb0 100644
--- a/src/kernel_internals/parsing/cparser.mly
+++ b/src/kernel_internals/parsing/cparser.mly
@@ -929,7 +929,7 @@ else_part:
{
let loc = Cil_datatype.Location.of_lexing_loc $sloc in
Kernel.warning ~wkey:Kernel.wkey_ghost_bad_use ~source:(fst loc)
- "Invalid ghost else ignored@." ;
+ "Invalid ghost else ignored" ;
in_block $5
}
--
GitLab