From 015b476e56b6bc05acdf9055284e633c1cce2491 Mon Sep 17 00:00:00 2001 From: whitequark Date: Wed, 25 Nov 2020 16:47:20 +0000 Subject: [PATCH] rtlil: remove dotted identifiers. No one knows where they came from and they never did anything useful. --- frontends/rtlil/rtlil_lexer.l | 1 - 1 file changed, 1 deletion(-) diff --git a/frontends/rtlil/rtlil_lexer.l b/frontends/rtlil/rtlil_lexer.l index 295455f53..beef220f6 100644 --- a/frontends/rtlil/rtlil_lexer.l +++ b/frontends/rtlil/rtlil_lexer.l @@ -86,7 +86,6 @@ USING_YOSYS_NAMESPACE "\\"[^ \t\r\n]+ { rtlil_frontend_yylval.string = strdup(yytext); return TOK_ID; } "$"[^ \t\r\n]+ { rtlil_frontend_yylval.string = strdup(yytext); return TOK_ID; } -"."[0-9]+ { rtlil_frontend_yylval.string = strdup(yytext); return TOK_ID; } [0-9]+'[01xzm-]* { rtlil_frontend_yylval.string = strdup(yytext); return TOK_VALUE; } -?[0-9]+ { -- 2.30.2