diff options
Diffstat (limited to 'frontends/verific/verificsva.cc')
-rw-r--r-- | frontends/verific/verificsva.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/frontends/verific/verificsva.cc b/frontends/verific/verificsva.cc index c56854acc..f221dfcc2 100644 --- a/frontends/verific/verificsva.cc +++ b/frontends/verific/verificsva.cc @@ -35,6 +35,7 @@ // // basic_property: // sequence +// not basic_property // sequence #-# basic_property // sequence #=# basic_property // basic_property or basic_property (cover only) |