Commentary
This commit is contained in:
parent
11d4d6562f
commit
08e650a2b4
|
|
@ -302,8 +302,8 @@ class AstSenTree;
|
|||
%token<fl> yALWAYS_LATCH "always_latch"
|
||||
%token<fl> yAND "and"
|
||||
%token<fl> yASSERT "assert"
|
||||
%token<fl> yASSUME "assume"
|
||||
%token<fl> yASSIGN "assign"
|
||||
%token<fl> yASSUME "assume"
|
||||
%token<fl> yAUTOMATIC "automatic"
|
||||
%token<fl> yBEGIN "begin"
|
||||
%token<fl> yBIND "bind"
|
||||
|
|
|
|||
Loading…
Reference in New Issue