Fixed minor bug in parsing delays

diff --git a/frontends/verilog/verilog_lexer.l b/frontends/verilog/verilog_lexer.l
index c3dfa8b926b86049ebf59e481da60c228c7fdec3..74a66d964e404bee45c2dc573b44ea8d1f3eff05 100644 (file)
--- a/frontends/verilog/verilog_lexer.l
+++ b/frontends/verilog/verilog_lexer.l
@@ -342,7 +342,10 @@ import[ \t\r\n]+\"(DPI|DPI-C)\"[ \t\r\n]+function[ \t\r\n]+ {
 [ \t\r\n]              /* ignore whitespaces */
 \\[\r\n]               /* ignore continuation sequence */
 "//"[^\r\n]*           /* ignore one-line comments */
-"#"[$a-zA-Z_0-9\.]+    /* ignore simulation timings */
+
+"#"\ *[0-9][0-9_]*                     /* ignore simulation timings */
+"#"\ *[0-9][0-9_]*\.[0-9][0-9_]*       /* ignore simulation timings */
+"#"\ *[$a-zA-Z_\.][$a-zA-Z_0-9\.]*     /* ignore simulation timings */
 
 . { return *yytext; }