From 575eb755cfa7c7268842aead389514f5fa6c207b Mon Sep 17 00:00:00 2001 From: Markus Lottmann Date: Wed, 15 Feb 2023 16:25:38 +0100 Subject: [PATCH] Extend letter parser token definition. (#2270) We now include a bunch more of the common european special characters. This is fix 1 of 2 for: https://github.com/joernio/joern/issues/2269 --- joern-cli/frontends/pysrc2cpg/pythonGrammar.jj | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/joern-cli/frontends/pysrc2cpg/pythonGrammar.jj b/joern-cli/frontends/pysrc2cpg/pythonGrammar.jj index d7632f89b636..415151dbdbcd 100644 --- a/joern-cli/frontends/pysrc2cpg/pythonGrammar.jj +++ b/joern-cli/frontends/pysrc2cpg/pythonGrammar.jj @@ -311,7 +311,7 @@ TOKEN: { TOKEN: { ( | )*> -| +| } SKIP: {