diff options
Diffstat (limited to 'tests/various/specify.ys')
| -rw-r--r-- | tests/various/specify.ys | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/various/specify.ys b/tests/various/specify.ys index 00597e1e2..a2b6038e4 100644 --- a/tests/various/specify.ys +++ b/tests/various/specify.ys @@ -55,4 +55,4 @@ equiv_induct -seq 5 equiv_status -assert design -reset -read_verilog -DSKIP_UNSUPPORTED_IGN_PARSER_CONSTRUCTS specify.v +read_verilog specify.v |