From f09419e673aed398c8b4ad1041a0890962f89d06 Mon Sep 17 00:00:00 2001 From: Miklos Magyari Date: Tue, 15 Feb 2022 10:56:50 +0100 Subject: [PATCH] Temporarily disabled '@' doc comment warning Signed-off-by: Miklos Magyari --- .../titan/designer/parsers/ttcn3parser/Ttcn3DocCommentLexer.g4 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/org.eclipse.titan.designer/src/org/eclipse/titan/designer/parsers/ttcn3parser/Ttcn3DocCommentLexer.g4 b/org.eclipse.titan.designer/src/org/eclipse/titan/designer/parsers/ttcn3parser/Ttcn3DocCommentLexer.g4 index f296f29c3..55aa93e33 100755 --- a/org.eclipse.titan.designer/src/org/eclipse/titan/designer/parsers/ttcn3parser/Ttcn3DocCommentLexer.g4 +++ b/org.eclipse.titan.designer/src/org/eclipse/titan/designer/parsers/ttcn3parser/Ttcn3DocCommentLexer.g4 @@ -76,4 +76,4 @@ fragment FREETEXTCHAR: [\u0021-\u0029\u002b-\u002e\u0030-\u003f\u0041-\u007e\u0 fragment LINE_BEGIN: '//*' STAR*; -BROKEN_AT: '@' { createMarker("Character '@' should be escaped like '@@'"); } -> skip; +BROKEN_AT: '@' { /* createMarker("Character '@' should be escaped like '@@'"); */ } -> skip; -- GitLab