diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-03-01 10:47:05 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-03-01 10:47:05 +0100 |
| commit | 5b3b5ffc8cb1a3dcc846c5f62ffb5e0cffb9e055 (patch) | |
| tree | aee052d40ca15298de5663a66017896debdf90d3 /frontends/verilog/verilog_parser.y | |
| parent | 180d70456859305357f07803d14399e986840109 (diff) | |
| download | yosys-5b3b5ffc8cb1a3dcc846c5f62ffb5e0cffb9e055.tar.gz yosys-5b3b5ffc8cb1a3dcc846c5f62ffb5e0cffb9e055.tar.bz2 yosys-5b3b5ffc8cb1a3dcc846c5f62ffb5e0cffb9e055.zip | |
Allow $anyconst, etc. in non-formal SV mode
Diffstat (limited to 'frontends/verilog/verilog_parser.y')
| -rw-r--r-- | frontends/verilog/verilog_parser.y | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontends/verilog/verilog_parser.y b/frontends/verilog/verilog_parser.y index 60b1ecffd..e84250146 100644 --- a/frontends/verilog/verilog_parser.y +++ b/frontends/verilog/verilog_parser.y @@ -1319,7 +1319,7 @@ rvalue: $$ = new AstNode(AST_IDENTIFIER, $2); $$->str = *$1; delete $1; - if ($2 == nullptr && formal_mode && ($$->str == "\\$initstate" || $$->str == "\\$anyconst" || $$->str == "\\$anyseq")) + if ($2 == nullptr && ($$->str == "\\$initstate" || $$->str == "\\$anyconst" || $$->str == "\\$anyseq")) $$->type = AST_FCALL; } | hierarchical_id non_opt_multirange { |